login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

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)
LatexWiki Image(1)
Type: Domain
axiom
1::A
LatexWiki Image(2)
Type: SparseUnivariatePolynomial? Integer
axiom
x := monomial(1,1)$A
LatexWiki Image(3)
Type: SparseUnivariatePolynomial? Integer
axiom
y:= x*2
LatexWiki Image(4)
Type: SparseUnivariatePolynomial? Integer
axiom
a := x*x*x +x*x +x
LatexWiki Image(5)
Type: SparseUnivariatePolynomial? Integer
axiom
reductum a
LatexWiki Image(6)
Type: SparseUnivariatePolynomial? Integer
axiom
monomials a
LatexWiki Image(7)
Type: List SparseUnivariatePolynomial? Integer
axiom
primitiveMonomials a
LatexWiki Image(8)
Type: List SparseUnivariatePolynomial? Integer