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
|


