OpenMath Signatures


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


official
               
Date:  2000-02-11
Author: Bill Naylor

            

plus

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMS cd="sts" name="Object"/>
</OMOBJ>
Object

Content Dictionary Entry.


[First: ] [Last: ] [Top]


minus

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMS cd="sts" name="Object"/>
</OMOBJ>
Object

Content Dictionary Entry.


[First: ] [Last: ] [Top]


times

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMS cd="sts" name="Object"/>
</OMOBJ>
Object

Content Dictionary Entry.


[First: ] [Last: ] [Top]


divide

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMS cd="sts" name="Object"/>
</OMOBJ>
Object

Content Dictionary Entry.


[First: ] [Last: ] [Top]


return

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

Content Dictionary Entry.


[First: ] [Last: ] [Top]