Edit detail for SandBox42 revision 9 of 10
| 1 2 3 4 5 6 7 8 9 10 | ||
|
Editor: endymion
Time: 2008/08/10 20:23:34 GMT-7 |
||
| Note: | ||
changed: -a := x*x*x +x*x +x a := y*y*y +y*y +y
axiom
A := SparseUnivariatePolynomial( Integer)
 | (1) |
Type: Domain
axiom
1::A
 | (2) |
Type: SparseUnivariatePolynomial? Integer
axiom
x := monomial(1,1)$A
 | (3) |
Type: SparseUnivariatePolynomial? Integer
axiom
y:= x*2
 | (4) |
Type: SparseUnivariatePolynomial? Integer
axiom
a := y*y*y +y*y +y
 | (5) |
Type: SparseUnivariatePolynomial? Integer
axiom
reductum a
 | (6) |
Type: SparseUnivariatePolynomial? Integer
axiom
monomials a
 | (7) |
Type: List SparseUnivariatePolynomial? Integer
axiom
primitiveMonomials a
 | (8) |
Type: List SparseUnivariatePolynomial? Integer