OpenMath Signatures
Type System:
sts
Content Dictionary:
setname1
CD Signature File:
setname1.sts
official
Written by JHD 1999-11-19, using the "structure"
construct added to STS.
Revised by W.A. Naylor on 2000-02-02, splitting setname into setname1 and
setname2, this sts contains signatures for N, Z, Q, R, C and H.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMV name="Set"/>
</OMOBJ>
Set
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMV name="Set"/>
</OMOBJ>
Set
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMV name="EuclideanRing"/>
</OMOBJ>
EuclideanRing
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMV name="Field"/>
</OMOBJ>
Field
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMV name="Field"/>
</OMOBJ>
Field
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMV name="Field"/>
</OMOBJ>
Field
Content Dictionary Entry.
