Quelle  test3.omt   Sprache: unbekannt

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
  <OMI>912873912381273891</OMI>
</OMOBJ>

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
 <OMS cd="nums1" name="i" />
</OMOBJ>

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
 <OMS cd="logic1" name="true" />
</OMOBJ>

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
 <OMS cd="logic1" name="false" />
</OMOBJ>

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
  <OMS cd="fns1" name="lambda" />
</OMOBJ>

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
  <OMV name="dummy1" />
</OMOBJ>

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
  <OMSTR>string1</OMSTR>
</OMOBJ>

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
 <OMA>
  <OMS cd="permut1" name="permutation"/>
  <OMI> 2 </OMI>
  <OMI> 3 </OMI>
  <OMI> 1 </OMI>
 </OMA>
</OMOBJ>

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
 <OMA>
  <OMS cd="group1" name="group_by_generators"/>
  <OMA>
   <OMS cd="permut1" name="permutation"/>
   <OMI> 2 </OMI>
   <OMI> 3 </OMI>
   <OMI> 1 </OMI>
  </OMA>
 </OMA>
</OMOBJ>

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
 <OMATTR>
  <OMATP>
   <OMS cd="logic1" name="true" />
   <OMI> 1 </OMI>
  </OMATP>
  <OMA>
      <OMS cd="permut1" name="permutation"/>
      <OMI> 2 </OMI>
      <OMI> 3 </OMI>
      <OMI> 1 </OMI>
    </OMA>
 </OMATTR>
</OMOBJ>