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):

OpenMath XML (source)

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0" cdbase="http://www.openmath.org/cd">
<OMA><OMS cd="logic1" name="equivalent"/>
     <OMA><OMA><OMS cd="polynomial2" name="modulo_relation"/>
               <OMV name="m"/>
          </OMA>
          <OMV name="a"/><OMV name="b"/>
     </OMA>
     <OMA><OMS cd="polynomial2" name="eqmod"/>
          <OMV name="a"/><OMV name="b"/> <OMV name="m"/>
     </OMA>
</OMA>
</OMOBJ>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="logic1">equivalent</csymbol>
  <apply>
   <apply><csymbol cd="polynomial2">modulo_relation</csymbol><ci>m</ci></apply>
   <ci>a</ci>
   <ci>b</ci>
  </apply>
  <apply><csymbol cd="polynomial2">eqmod</csymbol><ci>a</ci><ci>b</ci><ci>m</ci></apply>
 </apply>
</math>

Prefix

equivalent (modulo_relation ( m) ( a, b) , eqmod ( a, b, m) )

Popcorn

logic1.equivalent(polynomial2.modulo_relation($m)($a, $b), polynomial2.eqmod($a, $b, $m))

Rendered Presentation MathML

$$\left(\mathrm{modulo\_relation}\left(m\right)\right)(a,b)\equiv \mathrm{eqmod}(a,b,m)$$

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):

OpenMath XML (source)

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0" cdbase="http://www.openmath.org/cd">
<OMA><OMS cd="logic1" name="equivalent"/>
     <OMA><OMS cd="polynomial2" name="divides"/>
          <OMV name="a"/><OMV name="b"/>
     </OMA>
     <OMA><OMS cd="magma1" name="left_divides"/>
          <OMA><OMS cd="magma1" name="magma"/>
               <OMS cd="setname1" name="Z"/>
               <OMS cd="arith1" name="times"/>
          </OMA>
          <OMV name="a"/><OMV name="b"/>
     </OMA>
</OMA>
</OMOBJ>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="logic1">equivalent</csymbol>
  <apply><csymbol cd="polynomial2">divides</csymbol><ci>a</ci><ci>b</ci></apply>
  <apply><csymbol cd="magma1">left_divides</csymbol>
   <apply><csymbol cd="magma1">magma</csymbol>
    <csymbol cd="setname1">Z</csymbol>
    <csymbol cd="arith1">times</csymbol>
   </apply>
   <ci>a</ci>
   <ci>b</ci>
  </apply>
 </apply>
</math>

Prefix

equivalent (divides ( a, b) , left_divides (magma (Z, times) , a, b) )

Popcorn

logic1.equivalent(polynomial2.divides($a, $b), magma1.left_divides(magma1.magma(setname1.Z, arith1.times), $a, $b))

Rendered Presentation MathML

$$\mathrm{divides}(a,b)\equiv \mathrm{left\_divides}(\mathrm{magma}(\mathbb{Z},\times ),a,b)$$

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]