OpenMath Signatures

---

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

---

official

               
Date:  1999-04-13
Author: David Carlisle

            

---

determinant

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMV name="SquareMatrix"/>
    <OMS name="CommutativeRing" cd="sts"/>
  </OMA>
</OMOBJ>

( SquareMatrix >> )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

transpose

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

( Matrix >> Matrix )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

vector_selector

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <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.

---

[First: ] [Last: ] [Top]

---

---

matrix_selector

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <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.

---

[First: ] [Last: ] [Top]

---

---

vectorproduct

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

( ThreeVector ThreeVector >> ThreeVector )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

scalarproduct

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMV name="Vector"/>
    <OMV name="Vector"/>
    <OMV name="Scalar"/>
  </OMA>
</OMOBJ>

( Vector Vector >> Scalar )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

outerproduct

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMV name="Vector"/>
    <OMV name="Vector"/>
    <OMV name="Matrix"/>
  </OMA>
</OMOBJ>

( Vector Vector >> Matrix )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---