<monet:definitions xmlns:monet="http://monet.nag.co.uk/monet/ns"
                   xmlns:om="http://www.openmath.org/OpenMath"
                   targetNamespace="http://monet.nag.co.uk/problems/" >

 <monet:problem name ="standard_complex_eigenvalue_problem">
  <monet:header>
    <monet:taxonomy taxonomy="http://gams.nist.gov" code="GamsD4a" />
  </monet:header>

  <monet:body>

    <monet:input name="A">
      <monet:signature>
        <om:OMOBJ>
          <om:OMA>
            <om:OMS cd="sts2"  name="square_matrix" />
            <om:OMV name="n"/>
            <om:OMS cd="setname1" name="C"/>
          </om:OMA>
        </om:OMOBJ>
      </monet:signature>
    </monet:input>

    <monet:output name="eigenvectors">
      <monet:signature>
        <om:OMOBJ>
          <om:OMA>
            <om:OMS cd="sts2"  name="list" />
            <om:OMA>
              <om:OMS cd="sts2"  name="vector_n" />
              <om:OMV name="n"/>
              <om:OMS cd="setname1" name="C"/>
            </om:OMA>
          </om:OMA>
        </om:OMOBJ>
      </monet:signature>
    </monet:output>

    <monet:output name="eigenvalues">
      <monet:signature>
        <om:OMOBJ>
          <om:OMA>
            <om:OMS cd="sts2"  name="list" />
            <om:OMS cd="setname1" name="C"/>
          </om:OMA>
        </om:OMOBJ>
      </monet:signature>
    </monet:output>


    <monet:post-condition>
      <om:OMOBJ>
        <om:OMBIND>
          <om:OMS cd="quant1" name="forall"/>
          <om:OMBVAR>
            <om:OMV name="i"/>
          </om:OMBVAR>
          <om:OMA>
            <om:OMS name="implies" cd="logic1"/>
            <om:OMA>
              <om:OMS name="in" cd="list2"/>
              <om:OMV name="i"/>
              <om:OMA>
                <om:OMS cd="interval1" name="integer_interval"/>
                <om:OMI>1</om:OMI>
                <om:OMV name="n"/>
              </om:OMA>
            </om:OMA>
            <om:OMA>
              <om:OMS cd="relation1" name="eq"/>
              <om:OMA>
                <om:OMA>
                  <om:OMS cd="arith1" name="times"/>
                  <om:OMV name="A"/>
                  <om:OMA>
                    <om:OMS cd="list2" name="list_selector"/>
                    <om:OMV name="i"/>
                    <om:OMV name="eigenvalues"/>
                  </om:OMA>
                </om:OMA>
                <om:OMA>
                  <om:OMS cd="arith1" name="times"/>
                  <om:OMA>
                    <om:OMS cd="list2" name="list_selector"/>
                    <om:OMV name="i"/>
                    <om:OMV name="eigenvectors"/>
                  </om:OMA>
                  <om:OMA>
                    <om:OMS cd="list2" name="list_selector"/>
                    <om:OMV name="i"/>
                    <om:OMV name="eigenvalues"/>
                  </om:OMA>
                </om:OMA>
              </om:OMA>
              <om:OMS cd="alg1" name="zero"/>
            </om:OMA>
          </om:OMA>
        </om:OMBIND>
      </om:OMOBJ>
    </monet:post-condition>

  </monet:body>

 </monet:problem>
</monet:definitions>