multpoly1 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 multivariate polynomials. multivariate_polynomial Is used to define an univariate polynomial. The multivariate polynomial c1*(X_1)^r11*...*(X_r)^r1s+ ..... +cN*(X_1)^rN1*...*(X_r)^rNs is encoded as multivariate_polynomial( ring(), terms( term(c1, r11,..., r1s), ..., term(cN, rN1,..., rNr) ), variables(X_1,....,X_r)? ). The polynomial 1 + 2*x^2*y^5 is represented as 1 0 0 2 2 5 ring Used to define a ring constructor. terms term