OpenMath Signatures


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



Date:  1999-04-13
Author: David Carlisle


determinant

<OMOBJ>
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMV name="SquareMatrix"/>
    <OMS name="CommutativeRing" cd="sts"/>
  </OMA>
</OMOBJ>
( SquareMatrix >> )

Content Dictionary Entry.


[Next: transpose] [Last: outerproduct] [Top]


transpose

<OMOBJ>
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMV name="Matrix"/>
    <OMV name="Matrix"/>
  </OMA>
</OMOBJ>
( Matrix >> Matrix )

Content Dictionary Entry.


[Next: vector_selector] [Previous: determinant] [Top]


vector_selector

<OMOBJ>
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMV name="PositiveInteger"/>
    <OMS name="Object" cd="sts"/>
    <OMS name="Object" cd="sts"/>
  </OMA>
</OMOBJ>
( PositiveInteger Object >> Object )

Content Dictionary Entry.


[Next: matrix_selector] [Previous: transpose] [Top]


matrix_selector

<OMOBJ>
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMV name="PositiveInteger"/>
    <OMV name="PositiveInteger"/>
    <OMV name="Matrix"/>
    <OMS name="Object" cd="sts"/>
  </OMA>
</OMOBJ>
( PositiveInteger PositiveInteger Matrix >> Object )

Content Dictionary Entry.


[Next: vectorproduct] [Previous: vector_selector] [Top]


vectorproduct

<OMOBJ>
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMV name="3Vector"/>
    <OMV name="3Vector"/>
    <OMV name="3Vector"/>
  </OMA>
</OMOBJ>
( 3Vector 3Vector >> 3Vector )

Content Dictionary Entry.


[Next: scalarproduct] [Previous: matrix_selector] [Top]


scalarproduct

<OMOBJ>
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMV name="Vector"/>
    <OMV name="Vector"/>
    <OMV name="Scalar"/>
  </OMA>
</OMOBJ>
( Vector Vector >> Scalar )

Content Dictionary Entry.


[Next: outerproduct] [Previous: vectorproduct] [Top]


outerproduct

<OMOBJ>
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMV name="Vector"/>
    <OMV name="Vector"/>
    <OMV name="Matrix"/>
  </OMA>
</OMOBJ>
( Vector Vector >> Matrix )

Content Dictionary Entry.


[First: determinant] [Previous: scalarproduct] [Top]