up previous next
divide polynomials by their leading coefficients
Monic(F:POLY):POLY
Monic(L:LIST of POLY):LIST of POLY
|
In the first form, this function returns F divided by its leading
coefficient (see
LC
) or, if F is zero, it returns zero.
In its second form, it returns the list obtained by applying the first
form of Monic to each of the components of L.
/**/ 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); -- 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
|