OpenMath Signatures
Type System:
sts
Content Dictionary:
piece1
CD Signature File:
piece1.sts
official
Date: 2001-03-01
Author: James Davenport
Notes: STS cannot encode the requirement that there may be at most one
otherwise, and it must be the last element. However, this is the
intention.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="nary" cd="sts"/>
<OMV name="Piece"/>
</OMA>
<OMS name="Object" cd="sts"/>
</OMA>
</OMOBJ>
(
(
Piece
*
)
>>
Object
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="Object" cd="sts"/>
<OMS name="Boolean" cd="setname2"/>
<OMV name="Piece"/>
</OMA>
</OMOBJ>
(
Object
Boolean
>>
Piece
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="Object" cd="sts"/>
<OMV name="Piece"/>
</OMA>
</OMOBJ>
(
Object
>>
Piece
)
Content Dictionary Entry.