Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/openmath/tst/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 25.1.2023 mit Größe 1 kB image not shown  

Quelle  test7.omt   Sprache: unbekannt

 
<!-- Example came from interfacing Macaulay2: evaluates to Z(5)*a*x_1^3 -->
<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
 <OMA>
  <OMS cd="polyd1" name="DMP"/>
  <OMA id="polyringPVqOdEpUtDXHg1A6">
   <OMS cd="polyd1" name="poly_ring_d"/>
   <OMA id="fbp1">
    <OMS cd="field3" name="field_by_poly"/>
    <OMA id="r1">
     <OMS cd="setname2" name="GFp"/>
     <OMI>5</OMI>
    </OMA>
    <OMA>
     <OMS cd="polyd1" name="DMP"/>
     <OMA id="r2">
      <OMS cd="polyd1" name="poly_ring_d_named"/>
      <OMA id="r1">
       <OMS cd="setname2" name="GFp"/>
       <OMI>5</OMI>
      </OMA>
      <OMV name="a"/>
     </OMA>
     <OMA>
      <OMS cd="polyd1" name="SDMP"/>
      <OMA>
       <OMS cd="polyd1" name="term"/>
       <OMI>1</OMI>
       <OMI>2</OMI>
      </OMA>
      <OMA>
       <OMS cd="polyd1" name="term"/>
       <OMI>1</OMI>
       <OMI>1</OMI>
      </OMA>
      <OMA>
       <OMS cd="polyd1" name="term"/>
       <OMI>2</OMI>
       <OMI>0</OMI>
      </OMA>
     </OMA>
    </OMA>
   </OMA>
   <OMI>2</OMI>
  </OMA>
  <OMA>
   <OMS cd="polyd1" name="SDMP"/>
   <OMA>
    <OMS cd="polyd1" name="term"/>
    <OMA>
     <OMS cd="field4" name="field_by_poly_vector"/>
     <OMR href="#fbp1"/>
     <OMA>
      <OMS cd="list1" name="list"/>
      <OMI>0</OMI>
      <OMI>2</OMI>
     </OMA>
    </OMA>
    <OMI>3</OMI>
    <OMI>0</OMI>
   </OMA>
  </OMA>
 </OMA>
</OMOBJ>

[ Dauer der Verarbeitung: 0.20 Sekunden  (vorverarbeitet)  ]