OpenMath Signatures


Type System: sts
Content Dictionary: nums1
CD Signature File: nums1.sts
CD Signature as XML Encoded OpenMath: nums1.omsts



Date:  1999-07-02
Author: David Carlisle


based_integer

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="PositiveInteger"/>
    <OMV name="DigitString"/>
    <OMV name="BasedInteger"/>
 </OMA>
</OMOBJ>
( PositiveInteger DigitString >> BasedInteger )

Content Dictionary Entry.


[Next: rational] [Last: NaN] [Top]


rational

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
   <OMS name="Z" cd="setname1"/>
   <OMV name="NonZeroInteger"/>
   <OMS name="Q" cd="setname1"/>
 </OMA>
</OMOBJ>
( Z NonZeroInteger >> Q )

Content Dictionary Entry.


[Next: infinity] [Previous: based_integer] [Top]


infinity

<OMOBJ>
 <OMV name="Infinity"/>
</OMOBJ>
Infinity

Content Dictionary Entry.


[Next: e] [Previous: rational] [Top]


e

<OMOBJ>
 <OMS name="R" cd="setname1"/>
</OMOBJ>
R

Content Dictionary Entry.


[Next: i] [Previous: infinity] [Top]


i

<OMOBJ>
 <OMS name="C" cd="setname1"/>
</OMOBJ>
C

Content Dictionary Entry.


[Next: pi] [Previous: e] [Top]


pi

<OMOBJ>
 <OMS name="R" cd="setname1"/>
</OMOBJ>
R

Content Dictionary Entry.


[Next: gamma] [Previous: i] [Top]


gamma

<OMOBJ>
 <OMS name="R" cd="setname1"/>
</OMOBJ>
R

Content Dictionary Entry.


[Next: NaN] [Previous: pi] [Top]


NaN

<OMOBJ>
 <OMV name="IEEEFloat"/>
</OMOBJ>
IEEEFloat

Content Dictionary Entry.


[First: based_integer] [Previous: gamma] [Top]