The function kernels extracts all kernels from a standard form and returns them as list.
will result in (xy).
The greatest common divisor of two polynomials is computed by the function *gcdf. It takes as arguments two standard forms and returns a standard form or a 1 if there is no non trivial common divisor.
The function fctrf is the interface for calling the factorizer. It takes a standard form as parameter and returns a list which contains
So calling fctrf for 2x2 - 2 will result in
Here you see the common domain factor 2 and the two factors x + 1 and x- 1 as standard forms paired with their multiplicity 1.