OpenMath Signatures


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



Date:  1999-07-27
Author: James Davenport


ceiling

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

Content Dictionary Entry.


[Next: floor] [Last: round] [Top]


floor

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

Content Dictionary Entry.


[Next: trunc] [Previous: ceiling] [Top]


trunc

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

Content Dictionary Entry.


[Next: round] [Previous: floor] [Top]


round

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

Content Dictionary Entry.


[First: ceiling] [Previous: trunc] [Top]