Example ex5-04

Prev: ex5-03

Next: ex5-05

rank u v 1

<math>
<apply>
  <eq/>
  <apply>
    <semantics>
      <mi>rank</mi>
      <annotation-xml encoding="OpenMath">
        <OMS name="rank" cd="linalg3" xmlns="http://www.openmath.org/OpenMath"/>
      </annotation-xml>
    </semantics>
    <apply>
      <times/>
      <apply> <transpose/> <ci>u</ci> </apply>
      <ci>v</ci>
    </apply>
  </apply>
  <cn>1</cn>
</apply>
</math>