content
content of a multivariate polynomial
primpart
primitive part of a multivariate polynomial
Calling Sequence
Parameters
Description
Examples
Compatibility
content(a, x, 'pp')
primpart(a, x, 'co')
a
-
multivariate polynomial in x
x
(optional) name or set or list of names
pp
(optional) unevaluated name
co
If a is an expanded multivariate polynomial in x, content returns the content of a with respect to x, i.e. the greatest common divisor of the coefficients of a with respect to the indeterminate(s) x, and primpart returns a divided by the content of a.
content and primpart are extended to rational functions in normal form multiplicatively:
f⁡a⁢bc=f⁡a⁢f⁡bf⁡c
where f may be content or primpart. Rational functions not in normal form will be normalized first. If the input a is not rational in x, it will result in an error.
The indeterminate(s) x can be a name, or a list or set of names. If x is not specified, then its default value is the set of all indeterminates occurring in a, as determined by indets.
When content is called with a third argument pp, pp is assigned the primitive part of a. Similarly, when primpart is called with a third argument co, co is assigned the content of a.
For all inputs, the primitive part is an expression in rational normal form consisting of a product of polynomial factors each with content 1.
The coefficients in a can be arbitrary expressions independent of x. Any floating point values are left untouched: any floating-point value is assumed to be indivisible with respect to any other value. Other nonpolynomial, nonrational subexpressions get the same treatment unless they are syntactically equal.
The sign is removed from the content, and not removed from the primitive part.
The content of a univariate integer polynomial is the GCD of its coefficients.
content⁡3−3⁢x,x
3
The content of a multivariate polynomial a with respect to some of its variable(s) x is the GCD of its coefficients, considering a as a polynomial in the variable(s) x with any remaining variables being part of the coefficient ring. In the example below, a is viewed as a polynomial in x with coefficients that are polynomials in y. The example after that takes the same polynomial, but views it as a multivariate polynomial in x and y with integer coefficients.
content⁡3⁢x⁢y+6⁢y2,x
3⁢y
content⁡3⁢x⁢y+6⁢y2,x,y
The following example computes not just the content, but also the primitive part.
content⁡−4⁢x⁢y+6⁢y2,x,pp
2⁢y
3⁢y−2⁢x
In this example, you can see the effect of calling normal, which happens because the polynomial doesn't have purely numeric coefficients (the coefficient of x is 1a).
content⁡xa−12,x,pp
12⁢a
2⁢x−a
normal⁡xa−12
−−2⁢x+a2⁢a
Alternatively, if a is included as an indeterminate, the denominator 1a is included in the primpart rather than the content:
content⁡xa−12,a,x,pp
12
2⁢x−aa
Floating point coefficients are considered indivisible with respect to each other -- even if they are equal. As a consequence, the content in the following example is 1.
content⁡2.⁢u⁢x−2.⁢v,x,pp
1
2.⁢u⁢x−2.⁢v
In the presence of floating-point numbers, other content is still detected. For example, the factor u below.
content⁡2.⁢u⁢x−2.⁢u,x,pp
u
2.⁢x−2.
Non-numeric, nonpolynomial coefficients are also considered indivisible with respect to each other. For example, you could consider 2 to be a common divisor between the two coefficients 10 and 6, but they are considered indivisible with respect to each other for this command and the content is considered to be 1.
content⁡sqrt⁡10⁢x+sqrt⁡6,x
The primpart command computes just the primitive part of the expression.
primpart⁡−4⁢x⁢y+6⁢y2,x
primpart⁡xa−12,x
The a parameter was updated in Maple 2023.
See Also
coeffs
Content
gcd
icontent
Download Help Document