OpenMath Content Dictionary: polynomial2

Canonical URL:
http://www.openmath.org/cd/polynomial2.ocd
CD Base:
http://www.openmath.org/cd
CD File:
polynomial2.ocd
CD as XML Encoded OpenMath:
polynomial2.omcd
Defines:
class, divides, eqmod, modulo_relation, neqmod
Date:
2004-07-09
Version:
1
Review Date:
2006-02-02
Status:
experimental

This CD holds a collection of basic modular arithmetic 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.

modulo_relation

Description:

This symbol represents a univariate function, whose argument should be a polynomial. When applied to a polynomial m, it denotes the equivalence relation of being equal modulo m.

Commented Mathematical property (CMP):
modulo_relation(m)(a,b) is equivalent to eqmod(a,b,m).
Formal Mathematical property (FMP):
$\left(\mathrm{modulo_relation}\left(m\right)\right)\left(a,b\right)\equiv \mathrm{eqmod}\left(a,b,m\right)$
Signatures:
sts

 [Next: divides] [Last: class] [Top]

divides

Description:

This symbol represents a bivariate Boolean function, whose arguments should be polynomials in the same polynomial ring. When applied to a and b, it denotes the property that a divides b.

Commented Mathematical property (CMP):
The polynomial a divides the polynomial b with the same coefficient ring as a if and only there is a polynomial q over this coefficient ring such that a * q = b.
Formal Mathematical property (FMP):
$\mathrm{divides}\left(a,b\right)\equiv \mathrm{left_divides}\left(\mathrm{magma}\left(\mathbb{Z},×\right),a,b\right)$
Signatures:
sts

 [Next: eqmod] [Previous: modulo_relation] [Top]

eqmod

Description:

This symbol represents a Boolean valued trivariate function, whose arguments should be polynomials. When applied to polynomials a, b, m, it denotes the Boolean evalue of the assertion that a and b are equal modulo m.

Signatures:
sts

 [Next: neqmod] [Previous: divides] [Top]

neqmod

Description:

This symbol represents a Boolean valued trivariate function, whose arguments should be polynomials. When applied to polynomials a, b, m, it denotes the Boolean evalue of the assertion that a and b are not equal modulo m.

Signatures:
sts

 [Next: class] [Previous: eqmod] [Top]

class

Description:

This symbol represents a bivariate function, whose arguments should be polynomials. If a, m are polynomials in a polynomial ring R[X], then class(a,m) denotes the residue class a mod m in the quotient ring R[X]/ (mR[X]).

Signatures:
sts

 [First: modulo_relation] [Previous: neqmod] [Top]