OpenMath Signatures

---

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

---

official

               
 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>
    <OMS name="mapsto" cd="sts"/>
    <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]

---

---

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"> 
  <OMV name="Field"/>
</OMOBJ>

Field

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---