OpenMath Signatures


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



Date:  1999-04-13
Author: David Carlisle


factorof

<OMOBJ>
  <OMA>
    <OMS cd="sts" name="factorof"/>
    <OMS name="Z" cd="setname1"/>
    <OMS name="Z" cd="setname1"/>
    <OMS name="B" cd="setname2"/>
  </OMA>
</OMOBJ>
Z Z B

Content Dictionary Entry.


[Next: factorial] [Last: remainder] [Top]


factorial

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

Content Dictionary Entry.


[Next: quotient] [Previous: factorof] [Top]


quotient

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

Content Dictionary Entry.


[Next: remainder] [Previous: factorial] [Top]


remainder

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

Content Dictionary Entry.


[First: factorof] [Previous: quotient] [Top]