OpenMath Content Dictionary: polyoperators1

Canonical URL:

http://www.riaca.win.tue.nl/cds/poly1.ocd

CD Base:

http://www.openmath.org/cd

CD File:

polyoperators1.ocd

CD as XML Encoded OpenMath:

polyoperators1.omcd

Defines:

expand, factor, factors, gcd

Date:

2004-06-01

Version:

1 (Revision 1)

Review Date:

2006-06-01

Status:

experimental

We define several polynomial operators.

gcd

Description:

The n-ary greatest common divisor for univariate polynomials.

Example:

The gcd(X,Y,Z).

OpenMath XML (source)

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
      <OMA>
        <OMS cd="polyoperators1" name="gcd"/>        
        <OMV name="X"/>
        <OMV name="Y"/>
        <OMV name="Z"/>
      </OMA>
     </OMOBJ>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="polyoperators1">gcd</csymbol><ci>X</ci><ci>Y</ci><ci>Z</ci></apply>
</math>

Prefix

gcd ( X, Y, Z)

Popcorn

polyoperators1.gcd($X, $Y, $Z)

Rendered Presentation MathML

$$\gcd (X,Y,Z)$$

Signatures:

sts

factor

Description:

The action of factoring a polynomial into irreducible factors (I know this is field dependent but lets keep it simple by now).

Example:

OpenMath XML (source)

     <OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
      <OMA>
        <OMS cd="polyoperators1" name="factor"/>        
        <OMV name="X"/>
      </OMA>
     </OMOBJ>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML"><apply><csymbol cd="polyoperators1">factor</csymbol><ci>X</ci></apply></math>

Prefix

factor ( X)

Popcorn

polyoperators1.factor($X)

Rendered Presentation MathML

$$\mathrm{factor}\left(X\right)$$

Signatures:

sts

factors

Description:

The action of returning a list composed of the irreducible factors of a polynomial. (I know this is field dependent but lets keep it simple by now).

Example:

The gcd(X,Y,Z).

OpenMath XML (source)

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
      <OMA>
        <OMS cd="polyoperators1" name="factors"/>        
        <OMV name="X"/>
      </OMA>
     </OMOBJ>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML"><apply><csymbol cd="polyoperators1">factors</csymbol><ci>X</ci></apply></math>

Prefix

factors ( X)

Popcorn

polyoperators1.factors($X)

Rendered Presentation MathML

$$\mathrm{factors}\left(X\right)$$

Signatures:

sts

expand

Description:

Expands a polynomial. Acts as expand(expresion).

Signatures:

sts