GCD structures on polynomials #
Definitions and basic results about polynomials over GCD domains, particularly their contents and primitive polynomials.
Main Definitions #
p : polynomial R.
gcdof the coefficients of
p.content = 1.
Main Results #
The primitive part of a polynomial
p is the primitive polynomial gained by dividing
p = 0, then
p.prim_part = 1.