Subsections

• Related Structures
• Numerical Invariants
• Ring Predicates and Booleans

The main structure related to a polynomial ring is its coefficient ring. Multivariate polynomial rings belong to the Magma category RngMPol.

Category(P) : RngMPol -> Cat

Parent(P) : RngMPol -> Pow

PrimeRing(P) : RngMPol -> Rng

CoefficientRing(P) : RngMPol -> Rng

Return the coefficient ring of polynomial ring P.

Note that the # operator only returns a value for finite (quotients of) polynomial rings.

Characteristic(P) : RngMPol -> RngIntElt

# P : RngMPol -> RngIntElt

Return the number of indeterminates of polynomial ring P over its coefficient ring.

The usual ring functions returning Boolean values are available on polynomial rings. There is also a function that checks if a multivariate polynomial is in fact univariate in a given variable.

IsCommutative(P) : RngMPol -> BoolElt

IsUnitary(P) : RngMPol -> BoolElt

IsFinite(P) : RngMPol -> BoolElt

IsOrdered(P) : RngMPol -> BoolElt

IsField(P) : RngMPol -> BoolElt

IsEuclideanDomain(P) : RngMPol -> BoolElt

IsPID(P) : RngMPol -> BoolElt

IsUFD(P) : RngMPol -> BoolElt

IsDivisionRing(P) : RngMPol -> BoolElt

IsEuclideanRing(P) : RngMPol -> BoolElt

IsPrincipalIdealRing(P) : RngMPol -> BoolElt

IsDomain(P) : RngMPol -> BoolElt

P eq Q : RngMPol, RngMPol -> BoolElt

P ne Q : RngMPol, RngMPol -> BoolElt

Given a multivariate polynomial f in R[x_1, ..., x_n], this function returns true if and only if f is in fact a univariate polynomial in one of its indeterminates x_1, ..., x_n. If true is returned, then the function also returns a univariate version u of f and (the first) i such that f is univariate in x_i. Note that there will only be ambiguity about i if f is a constant polynomial. The univariate polynomial u will be an element of R[x] with the same coefficients as f.

IsUnivariate(f, i) : RngMPolElt, RngIntElt -> BoolElt, RngUPolElt

IsUnivariate(f, v) : RngMPolElt, RngUPolElt -> BoolElt, RngUPolElt

Given a multivariate polynomial f in R[x_1, ..., x_n], this function returns true if and only if f is in fact a univariate polynomial in x_i. If true is returned, then the function also returns a univariate version u of f, which will be an element of the univariate polynomial ring R[x] with the same coefficients as f. The indeterminate x_i should either be specified as a (polynomial) argument v or as an integer i.