polyoperators1
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 several polynomial operators.
gcd
The n-ary greatest commun divisor for univariate polynomials.
The gcd(X,Y,Z).
factor
The action of factoring a polynomial into irreducible factors
(I know this is field dependent but lets keep it simple by now).
factors
The action of returning a list composed of the irreducible factors of a
polynomial. (I know this is field dependent but lets keep it simple by
now).
The gcd(X,Y,Z).
expand
Expands a polynomial. Acts as expand(expresion).