up previous next
content

content of a polynomial

Syntax
content(F: RINGELEM): RINGELEM

Description
This function returns the content of F . The returned value is a RingElem in CoeffRing(RingOf(F)) .

If the coefficient ring is a true GCD domain, the result is the standard content (i.e. a gcd of its coefficients). If the coefficient ring is a fraction field then the result is fraction c such that f/c is a primitive polynomial.

Example
/**/ use P ::= QQ[x,y,z];
/**/ F := 1234*x^3*z + 3456*x*y*z^3 + 5678*y^2*z;
/**/ content(F);
2
/**/ RingOf(It);
QQ
/**/ content(4*x/5 + 2);
2/5

See Also