polygrp
2
1
http://www.openmath.org/cdgroups/polygrp.cdg
Polynomial CD Group
cd containing constructors for the different types of opnodes
opnode
http://www.openmath.org/cd/opnode.ocd
General cd for polynomials
poly
http://www.openmath.org/cd/poly.ocd
Polynomials specified in a dense representation
polyd
http://www.openmath.org/cd/polyd.ocd
Polynomials specified in a recursive representation
polyr
http://www.openmath.org/cd/polyr.ocd
Polynomials specified in a straight line program representation
polyslp
http://www.openmath.org/cd/polyslp.ocd
Univariate Polynomials
polyu
http://www.openmath.org/cd/polyu.ocd
A small type system for polynomial rings
polysts
http://www.openmath.org/cd/polysts.ocd