For comparison with other CAS choose from: Axiom Macsyma Maple Mathematica Reduce
a
^
2-b^
2
2 2 a - bfactor
(a - b) (a + b)
a^
2+b^
2
2 2 a + bfactor, complex
(a - i b) (a + i b)
(x^
2 z+y^
4 z^
2+5) (-x^
3 y+z^
2+3)
3 2 2 4 2 (- x y + z + 3) (x z + y z + 5)expand
5 3 5 2 3 2 3 2 4 4 4 2 2 - x y z - x y z - 5 x y + x z + 3 x z + y z + 3 y z + 5 z + 15factor
2 4 2 3 2 - (x z + y z + 5) (x y - (z + 3))for bigger expressions was insufficient memory