OpenMath Signatures
Type System:
sts
Content Dictionary:
linalg2
CD Signature File:
linalg2.sts
official
Date: 1999-04-13
Author: David Carlisle
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="nary" cd="sts"/>
<OMV name="AbelianGroupMult"/>
</OMA>
<OMV name="Vector"/>
</OMA>
</OMOBJ>
(
(
AbelianGroupMult
*
)
>>
Vector
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="nary" cd="sts"/>
<OMV name="MatrixRow"/>
</OMA>
<OMV name="Matrix"/>
</OMA>
</OMOBJ>
(
(
MatrixRow
*
)
>>
Matrix
)
Content Dictionary Entry.
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts"/>
<OMA>
<OMS name="nary" cd="sts"/>
<OMV name="Ring"/>
</OMA>
<OMS name="MatrixRow" cd="sts"/>
</OMA>
</OMOBJ>
(
(
Ring
*
)
>>
)
Content Dictionary Entry.