OpenMath Signatures

---

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

---

official

               
Date:  2000-02-11
Author: Bill Naylor

            

---

prog_body

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

( SLInstructionList >> SLProgram )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

op_node

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMS name="Object" cd="sts"/>
    <OMS name="N" cd="setName1"/>
    <OMS name="N" cd="setName1"/>
    <OMV name="SLPInstruction"/>
  </OMA>
</OMOBJ>

( Object N N >> SLPInstruction )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

inp_node

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

( PolynomialVariable >> SLPInstruction )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

const_node

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

( Ring >> SLPInstruction )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

quotient

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

( SLPPolynomial SLPPolynomial >> SLPPolynomial )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

length

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

( SLPPolynomial >> N )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

depth

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

( SLPPolynomial >> N )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

slp_degree

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

( SLPPolynomial >> N )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

return_node

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

( SLPPolynomial >> SLPInstruction )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

node_selector

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMV name="SLPPolynomial"/>
    <OMS name="N" cd="setName1"/>
    <OMV name="SLPInstruction"/>
  </OMA>
</OMOBJ>

( SLPPolynomial N >> SLPInstruction )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

left_ref

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

( SLPInstruction >> N )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

right_ref

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

( SLPInstruction >> N )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

monte_carlo_eq

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMV name="SLPPolynomial"/>
    <OMV name="SLPPolynomial"/>
    <OMS name="float" cd="ecc"/>
    <OMS name="Prop" cd="typesorts"/>
  </OMA>
</OMOBJ>

( SLPPolynomial SLPPolynomial float >> Prop )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

polynomial_SLP

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

( polynomial_ring SLProgram >> SLPPolynomial )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

poly_ring_SLP

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

( Ring ( PolynomialVariable ^* ) >> polynomial_ring )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---