axiom
zerosOf(7-5*x+5*x**2-x**3,x)
Type: List Expression Integer
axiom
simplify((6+(-1+x)**2*(-2+(-3+x)*(-1+x))-6*x)/(-1+x))
Type: Expression Integer
axiom
factor(-(-x**2+y**2)*(z-x)+(-x**2+z**2)*(y-x))
Type: Factored Polynomial Integer
axiom
simplify(((-(-w+y)*(-w**2+x**2)+(-w**2+y**2)*(x-w))*
;(-(-w**3+x**3)*(z-w)+(-w**3+z**3)*(x-w))-((-w**
;3+y**3)*(x-w)-(-w+y)*(-w**3+x**3))*((-w**2+z*&
#42;2)*(x-w)-(-w**2+x**2)*(z-w)))/(x-w))
Type: Expression Integer
axiom
expand((z-y)*(z-x)*(z-w)*(y-x)*(y-w)*(x-w))
Type: Polynomial Integer