up previous next
divide polynomials by their leading coefficients
monic(F: RINGELEM): RINGELEM |
This function returns
F
divided by its leading coefficient (see
LC
) or,
if
F
is zero, it returns just zero.
/**/ Use R ::= QQ[x,y];
/**/ F := 4*x^5-y^2;
/**/ monic(F);
x^5 +(-1/4)*y^2
/**/ Use R ::= ZZ[x,y];
/**/ F := 4*x^5-y^2;
-- /**/ monic(F); --> !!! ERROR !!! can't invert coefficients over ZZ
ERROR: Inexact division
monic(L); -- can't invert coefficient ...
^^^^^^^^
/**/ Use P ::= ZZ/(5)[x,y];
/**/ F := 2*x^2+4*y^3;
/**/ monic(F);
y^3 -2*x^2
|