Factoris
The value of your formula is
.
Its factorization into irreducible factors over
is
.
Attention. The factorization of multi-variable polynomials is
only implemented over for the time being.
Useful online tools:
PrimesBezout (available in another window of your browser)