# OpenMath Content Dictionary: polynomial1

Canonical URL:
http://www.openmath.org/cd/polynomial1.ocd
CD Base:
http://www.openmath.org/cd
CD File:
polynomial1.ocd
CD as XML Encoded OpenMath:
polynomial1.omcd
Defines:
Date:
2004-07-12
Version:
0
Review Date:
2006-07-12
Status:
experimental

This CD holds a collection of basic constructs for univariate polynomials over rings. The data structures for polynomials can be arithmetic expressions, for instance using the ring1.expression symbol, or DMP as in the CD polyd1.

## coefficient_ring

Role:
application
Description:

This symbol is a unary function whose argument should be a polynomial. It represents the coefficient ring of the polynomial.

Example:
The coefficient ring is often explicitly given as part of the polynomial:
$\mathrm{coefficient_ring}\left(\mathrm{expression}\left(\mathrm{expression}\left(\mathrm{poly_ring}\left(\mathrm{Zm}\left(7\right),X\right),{\left(X+1\right)}^{2}\right)\right)\right)=\mathrm{Zm}\left(7\right)$
Signatures:
sts

## coefficient

Role:
application
Description:

This symbol is a binary function whose first argument should be a polynomial f and whose second argument should be a non-negative integer n. It represents the coefficient of the i-th power of the variable in the polynomial f.

Example:
The coefficient of the first power of X in the polynomial (X+1)^2 in (Z/7Z)[X] is equal to 2.
$\mathrm{coefficient}\left(\mathrm{expression}\left(\mathrm{expression}\left(\mathrm{poly_ring}\left(\mathrm{Zm}\left(7\right),X\right),{\left(X+1\right)}^{2}\right)\right)\right)=\mathrm{expression}\left(\mathrm{Zm}\left(7\right),2\right)$
Signatures:
sts

 [Next: expand] [Previous: coefficient_ring] [Top]

## expand

Role:
application
Description:

Expands a polynomial.

Example:
The following expression is equivalent to the arithmetic expression X^2+2X+1 in (Z/7Z)[X].
$\mathrm{expand}\left(\mathrm{expression}\left(\mathrm{expression}\left(\mathrm{poly_ring}\left(\mathrm{Zm}\left(7\right),X\right),{\left(X+1\right)}^{2}\right)\right)\right)$
Signatures:
sts

 [Next: degree] [Previous: coefficient] [Top]

## degree

Description:

This symbol represents a unary function, whose argument should be univariate polynomial. When applied to a polynomial, it represents its degree, that is the highest power of the variable occurring in a term of the polynomial. If the polynomial has no terms, it is the zero polynomial, in which case the value represented is -1.

Signatures:
sts

Description:

This symbol represents a unary function, whose argument should be univariate polynomial. When applied to a polynomial, it represents its leading term, that is the term that is the product of the highest power of the variable and its coefficient. If the polynomial is zero, the value represented is zero.

Signatures:
sts

Description:

This symbol represents a unary function, whose argument should be univariate polynomial. When applied to a polynomial, it represents the coefficient of the monomial of highest degree. If the polynomial is zero, the value represented is zero.

Signatures:
sts

Description:

This symbol represents a unary function, whose argument should be a nonzero univariate polynomial. When applied to such a polynomial, it represents the highest power of the variable occurring in the polynomial.

Commented Mathematical property (CMP):
The leading term of a nonzero polynomial is the product of the leading monomial and the leading coefficient of the polynomial.
Formal Mathematical property (FMP):
$\mathrm{leading_term}\left(f\right)=\mathrm{leading_coefficient}\left(f\right)\mathrm{leading_monomial}\left(f\right)$
Signatures:
sts