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 of a (true) GCD domain R then the result is a fraction c such that f/c is a primitive polynomial with coefficients in R.

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