Edit detail for SandBox42 revision 7 of 10
| 1 2 3 4 5 6 7 8 9 10 | ||
|
Editor: endymion
Time: 2008/08/10 20:22:18 GMT-7 |
||
| Note: | ||
removed: -)show SparseUnivariatePolynomial changed: -x*x*x +x*x +x a := x*x*x +x*x +x reductum a monomials a primitiveMonomials a
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
a := x*x*x +x*x +x
 | (4) |
Type: SparseUnivariatePolynomial? Integer
axiom
reductum a
 | (5) |
Type: SparseUnivariatePolynomial? Integer
axiom
monomials a
 | (6) |
Type: List SparseUnivariatePolynomial? Integer
axiom
primitiveMonomials a
 | (7) |
Type: List SparseUnivariatePolynomial? Integer