polysts http://www.openmath.org/cd/polysts.ocd 2003-04-01 1999-12-10 2 0 experimental This CD holds the polynomial symbols used by the OpenMath Small Type System. PolynomialRing is the equivalent of an Axiom category, whereas PolynomialRingD and PolynomialRingR are functors returning elements of that category, polynomial rings with a specific representation (at the abstract OMtree level) Written 1999-11-20 JHD polynomial_ring The type of all polynomial rings, e.g. from polyr or polyd OCDs