Computeralgebra is ijzersterk in het werken met veeltermen Denk aan wegwerken van haakjes, ontbinden in factoren, breuksplitsing, enzovoort.
In[7]:= Factor[6*x + 35*x^3 + 56*x^5 + 36*x^7 + 10*x^9 + x^11]
2 2 2 2 4
Out[7]= x (1 + x ) (2 + x ) (3 + x ) (1 + 4 x + x )
Een fraai resultaat betreffende veeltermen is dat het voor een stelsel
van veeltermvergelijkingen mogelijk is om het om te werken naar
een stelsel met een eenvoudiger vorm maar dezelfde oplossingen.
Die vorm wordt een Gröbner basis genoemd. Bijvoorbeeld:
In[8]:= GroebnerBasis[{x^2 y - x + y, x y^2 - z, x^2 z + y},
{x,y,z}]
3 5 3
Out[8]= {z + z + z , y + z , x - z}