OpenMath Signatures
Type System:
sts
Content Dictionary:
polyu
CD Signature File:
polyu.sts
official
Date: 2003-08-06
Author: James Davenport
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMS name="N" cd="setname1"/>
<OMV name="Ring"/>
<OMV name="MonomialU"/>
</OMA>
</OMOBJ>
(
N Ring
>>
MonomialU
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMV name="PolynomialVariable"/>
<OMA>
<OMS name="nary" cd="sts"/>
<OMV name="MonomialU"/>
</OMA>
<OMV name="poly_u_rep"/>
</OMA>
</OMOBJ>
(
PolynomialVariable
(
MonomialU
*
)
>>
poly_u_rep
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="structure" cd="sts"/>
<OMV name="Ring"/>
</OMA>
<OMV name="poly_u_rep"/>
<OMS name="polynomial_ring" cd="polysts"/>
</OMA>
</OMOBJ>
(
Ring
poly_u_rep
>>
polynomial_ring
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="structure" cd="sts"/>
<OMV name="Ring"/>
</OMA>
<OMV name="PolynomialVariable"/>
<OMA>
<OMS name="structure" cd="sts"/>
<OMS name="polynomial_ring" cd="polysts"/>
</OMA>
</OMA>
</OMOBJ>
(
Ring
PolynomialVariable
>>
polynomial_ring
)
Content Dictionary Entry.