univ_poly http://www.riaca.win.tue.nl/cds/poly1.ocd 2003-04-01 2001-07-14 experimental 1 0 quant1 logic1 relation1 alg1 polyr set1 arith1 We define univariate polynomials. univariate_polynomial Is used to define an univariate polynomial. univariate_polynomial( ring(), monomials( monomial(value1, order1), ..., monomial(valueN, orderN) ), (OMV)? ). Note that if we allow the ring to be a polynomial ring an then take value1, ..., valueN polynomial then we have also a multivariate polynomial. The OMV is optional and is meant just in case you want some presentation issues. The polynomial 1 + 2*x^2; 1 0 2 2 ring Used to define a ring constructor. monomials List of monomial terms. monomials(monomial(value1, order1),...,monomial(valueN, orderN)). orederi should be either an OMI or an OMV. monomial An specific monomial(value, order). oreder should be either an OMI or an OMV