OpenMath Signatures

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

official

               
Date:  2009-04-01
Author: David Carlisle

based_integer

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="PositiveInteger"/>
    <OMV name="DigitString"/>
    <OMV name="BasedInteger"/>
 </OMA>
</OMOBJ>

( PositiveInteger DigitString >> BasedInteger )

Content Dictionary Entry.

[First: ] [Last: ] [Top]

based_double

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="PositiveInteger"/>
    <OMV name="DigitString"/>
    <OMV name="BasedFloat"/>
 </OMA>
</OMOBJ>

( PositiveInteger DigitString >> BasedFloat )

Content Dictionary Entry.

[First: ] [Last: ] [Top]

rational

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <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.

[First: ] [Last: ] [Top]

infinity

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMV name="Infinity"/>
</OMOBJ>

Infinity

Content Dictionary Entry.

[First: ] [Last: ] [Top]

e

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

Content Dictionary Entry.

[First: ] [Last: ] [Top]

i

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

Content Dictionary Entry.

[First: ] [Last: ] [Top]

pi

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

Content Dictionary Entry.

[First: ] [Last: ] [Top]

gamma

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

Content Dictionary Entry.

[First: ] [Last: ] [Top]

NaN

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMV name="IEEEFloat"/>
</OMOBJ>

IEEEFloat

Content Dictionary Entry.

[First: ] [Last: ] [Top]