Use R ::= QQ[x,y];
L := [4x^5y^2,3x2y^4];
Monic(L);
[x^5  1/4y^2, y^4  3/2x]

Use R ::= ZZ[x,y];
 WARNING: Coeffs are not in a field
 GBasisrelated computations could fail to terminate or be wrong


L := [4x^5y^2,3x2y^4];
Monic(L);  can't invert coefficients over Z

ERROR: Cannot divide
CONTEXT: Cond(Type(X) = LIST, [Monic(A)A IN X], IsZero(X), X, X / LC(X))

Use R ::= ZZ/(5)[x,y];
F := 2x^2+4y^3;
Monic(F);
y^3  2x^2

