up previous next
monic    --    divide polynomials by their leading coefficients


Syntax 
monic(F: RINGELEM): RINGELEM

Description
This function returns F divided by its leading coefficient (see LC ). If F is zero, it throws an error.

Example 
/**/  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 !!! as expected: cannot invert over ZZ

/**/  use P ::= ZZ/(5)[x,y];
/**/  F := 2*x^2+4*y^3;
/**/  monic(F);
y^3 -2*x^2

See Also