Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  test7.omt   Sprache: unbekannt

 
Spracherkennung für: .omt vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

<!-- 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.13 Sekunden, vorverarbeitet 2026-06-04]

                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Statistik
#Sources=492969
#Domains=607362