monic -- divide polynomials by their leading coefficients |
Syntax |
monic(F: RINGELEM): RINGELEM |
Description |
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 |