OpenMath Signatures


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



conjugate

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

Content Dictionary Entry.


[Next: complex_cartesian] [Last: argument] [Top]


complex_cartesian

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

Content Dictionary Entry.


[Next: real] [Previous: conjugate] [Top]


real

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

Content Dictionary Entry.


[Next: imaginary] [Previous: complex_cartesian] [Top]


imaginary

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

Content Dictionary Entry.


[Next: complex_polar] [Previous: real] [Top]


complex_polar

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

Content Dictionary Entry.


[Next: argument] [Previous: imaginary] [Top]


argument

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMS name="C" cd="setname1"/>
    <OMV name="PositiveReal"/>
 </OMA>
</OMOBJ>
( C >> PositiveReal )

Content Dictionary Entry.


[First: conjugate] [Previous: complex_polar] [Top]