The functions in this section are restricted to multivariate polynomials over a field, over the integers, or any polynomial ring over these.

Subsections

• Common Divisors and Common Multiples
• Content and Primitive Part

Gcd(f, g) : RngMPolElt, RngMPolElt -> RngMPolElt

GCD(f, g) : RngMPolElt, RngMPolElt -> RngMPolElt

The greatest common divisor of f and g in a multivariate polynomial ring P. The coefficient ring of P must be either a field, the ring of integers, or a polynomial ring over any of these.

Lcm(f, g) : RngMPolElt, RngMPolElt -> RngMPolElt

LCM(f, g) : RngMPolElt, RngMPolElt -> RngMPolElt

The least common multiple of f and g in a multivariate polynomial ring P. The coefficient ring of P must be either a field, the ring of integers, or a polynomial ring over any of these.

The content of f, that is, the greatest common divisor of the coefficients of f as an element of the coefficient ring.

The primitive part of f, being f divided by the content of f.

Contpp(f) : RngMPolElt -> RngIntElt, RngMPolElt

The content (the greatest common divisor of the coefficients) of f, as an element of the coefficient ring, as well as the primitive part (f divided by the content) of f.