Edit detail for SandBox42 revision 8 of 10
| 1 2 3 4 5 6 7 8 9 10 | ||
|
Editor: endymion
Time: 2008/08/10 20:23:02 GMT-7 |
||
| Note: | ||
added:
y:= x*2
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 := x*x*x +x*x +x
 | (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