OpenMath Signatures

---

Type System: sts
Content Dictionary: poly
CD Signature File: poly.sts

---

official

               
Date:  2004-02-01
Author: James Davenport

            

---

power

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMS name="polynomial_ring" cd="polysts"/>
    <OMS name="Z" cd="setname1"/>
    <OMV name="PolynomialPower"/>
 </OMA>
</OMOBJ>

( polynomial_ring Z >> PolynomialPower )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

factored

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMA>
      <OMS name="nary" cd="sts"/>
       <OMV name="PolynomialPower"/>
    </OMA>
    <OMV name="FactoredPolynomial"/>
 </OMA>
</OMOBJ>

( ( PolynomialPower ^* ) >> FactoredPolynomial )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

squarefreed

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMA>
      <OMS name="nary" cd="sts"/>
       <OMV name="PolynomialPower"/>
    </OMA>
    <OMV name="FactoredPolynomial"/>
 </OMA>
</OMOBJ>

( ( PolynomialPower ^* ) >> FactoredPolynomial )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

partially_factored

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMA>
      <OMS name="nary" cd="sts"/>
       <OMV name="PolynomialPower"/>
    </OMA>
    <OMV name="FactoredPolynomial"/>
 </OMA>
</OMOBJ>

( ( PolynomialPower ^* ) >> FactoredPolynomial )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

expand

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
   <OMV name="FactoredPolynomial"/>
   <OMS name="polynomial_ring" cd="polysts"/>
 </OMA>
</OMOBJ>

( FactoredPolynomial >> polynomial_ring )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

degree

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMS name="polynomial_ring" cd="polysts"/>
    <OMS name="N" cd="setname1"/>
 </OMA>
</OMOBJ>

( polynomial_ring >> N )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

degree_wrt

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
   <OMS name="polynomial_ring" cd="polysts"/>
   <OMV name="PolynomialVariable"/>
   <OMS name="N" cd="setname1"/>
 </OMA>
</OMOBJ>

( polynomial_ring PolynomialVariable >> N )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

leading_coefficient

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
   <OMS name="polynomial_ring" cd="polysts"/>
   <OMV name="PolynomialVariable"/>
   <OMS name="polynomial_ring" cd="polysts"/>
 </OMA>
</OMOBJ>

( polynomial_ring PolynomialVariable >> polynomial_ring )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

coefficient

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
   <OMS name="polynomial_ring" cd="polysts"/>
   <OMV name="ListPolynomialVariable"/>
   <OMV name="ListExponents"/>
   <OMS name="polynomial_ring" cd="polysts"/>
 </OMA>
</OMOBJ>

( polynomial_ring ListPolynomialVariable ListExponents >> polynomial_ring )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

factor

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
   <OMS name="polynomial_ring" cd="polysts"/>
   <OMV name="FactoredPolynomial"/>
 </OMA>
</OMOBJ>

( polynomial_ring >> FactoredPolynomial )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

squarefree

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMS name="polynomial_ring" cd="polysts"/>
    <OMV name="FactoredPolynomial"/>
 </OMA>
</OMOBJ>

( polynomial_ring >> FactoredPolynomial )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

gcd

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMA>
      <OMS name="nassoc" cd="sts"/>
       <OMS name="polynomial_ring" cd="polysts"/>
    </OMA>
    <OMS name="polynomial_ring" cd="polysts"/>
 </OMA>
</OMOBJ>

( ( polynomial_ring ^*assoc ) >> polynomial_ring )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

lcm

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMA>
      <OMS name="nassoc" cd="sts"/>
       <OMS name="polynomial_ring" cd="polysts"/>
    </OMA>
    <OMS name="polynomial_ring" cd="polysts"/>
 </OMA>
</OMOBJ>

( ( polynomial_ring ^*assoc ) >> polynomial_ring )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

discriminant

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMS name="polynomial_ring" cd="polysts"/>
    <OMV name="PolynomialVariable"/>
    <OMS name="polynomial_ring" cd="polysts"/>
 </OMA>
</OMOBJ>

( polynomial_ring PolynomialVariable >> polynomial_ring )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

resultant

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMS name="polynomial_ring" cd="polysts"/>
    <OMS name="polynomial_ring" cd="polysts"/>
    <OMV name="PolynomialVariable"/>
    <OMS name="polynomial_ring" cd="polysts"/>
 </OMA>
</OMOBJ>

( polynomial_ring polynomial_ring PolynomialVariable >> polynomial_ring )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

convert

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="Polynomial1"/>
    <OMA>
      <OMS name="structure" cd="sts"/>
       <OMS name="polynomial_ring" cd="polysts"/>
    </OMA>
    <OMS name="polynomial_ring" cd="polysts"/>
 </OMA>
</OMOBJ>

( Polynomial1 polynomial_ring >> polynomial_ring )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

coefficient_ring

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="Polynomial"/>
    <OMV name="CoefficientRing"/>
 </OMA>
</OMOBJ>

( Polynomial >> CoefficientRing )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

evaluate

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="Polynomial"/>
    <OMS name="NumericalValue" cd="sts"/> 
    <OMS name="NumericalValue" cd="sts"/> 
 </OMA>
</OMOBJ>

( Polynomial NumericalValue >> NumericalValue )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

evaluate

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="Polynomial"/>
    <OMV name="Vector"/>
    <OMS name="NumericalValue" cd="sts"/> 
 </OMA>
</OMOBJ>

( Polynomial Vector >> NumericalValue )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---