up previous next
content --
content of a polynomial
|
content(F: RINGELEM): RINGELEM |
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.
/**/ 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
|