OpenMath Signatures
Type System:
sts
Content Dictionary:
opnode
CD Signature File:
opnode.sts
official
Date: 2000-02-11
Author: Bill Naylor
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMS cd="sts" name="Object"/>
</OMOBJ>
Object
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMS cd="sts" name="Object"/>
</OMOBJ>
Object
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMS cd="sts" name="Object"/>
</OMOBJ>
Object
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMS cd="sts" name="Object"/>
</OMOBJ>
Object
Content Dictionary Entry.
<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.