OpenMath Signatures

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

         
 Written by JHD 1999-11-19, using the "structure"
 construct added to STS.
 Revised by W.A. Naylor on 2000-02-02, splitting setname into setname1 and 
 setname2, this sts contains signatures for A, GFp, GFpn, P, QuotientField
 and Zm.

Boolean

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

Set

Content Dictionary Entry.

[First: ] [Last: ] [Top]

Zm

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMS name="N" cd="setname1"/>
    <OMA>
      <OMS name="structure" cd="sts"/>
      <OMV name="Ring"/>
    </OMA>
  </OMA>
</OMOBJ>

( N >> Ring )

Content Dictionary Entry.

[First: ] [Last: ] [Top]

GFp

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMS name="P" cd="setname1"/>
    <OMA>
      <OMS name="structure" cd="sts"/>
      <OMV name="Field"/>
    </OMA>
  </OMA>
</OMOBJ>

( P >> Field )

Content Dictionary Entry.

[First: ] [Last: ] [Top]

GFpn

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMS name="P" cd="setname1"/>
    <OMS name="N" cd="setname1"/>
    <OMA>
      <OMS name="structure" cd="sts"/>
      <OMV name="Field"/>
    </OMA>
  </OMA>
</OMOBJ>

( P N >> Field )

Content Dictionary Entry.

[First: ] [Last: ] [Top]

QuotientField

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
  <OMA>
    <OMA>
      <OMS name="structure" cd="sts"/>
      <OMV name="IntegralDomain"/>
    </OMA>
    <OMA>
      <OMS name="structure" cd="sts"/>
      <OMV name="Field"/>
    </OMA>
  </OMA>
</OMOBJ>

IntegralDomain Field

Content Dictionary Entry.

[First: ] [Last: ] [Top]

AlgebraicExtension

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
  <OMA>
    <OMA>
      <OMS name="structure" cd="sts"/>
      <OMV name="IntegralDomain"/>
    </OMA>
    <OMV name="poly_u_rep"/>
    <OMA>
       <OMS name="structure" cd="sts"/>
       <OMV name="IntegralDomain"/>
     </OMA>
  </OMA>
</OMOBJ>

IntegralDomain poly_u_rep IntegralDomain

Content Dictionary Entry.

[First: ] [Last: ] [Top]

H

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

Field

Content Dictionary Entry.

[First: ] [Last: ] [Top]

A

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

Content Dictionary Entry.

[First: ] [Last: ] [Top]

QuotientField

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

Content Dictionary Entry.

[First: ] [Last: ] [Top]