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

Quelle  monoid1.ocd   Sprache: unbekannt

 
<CDName>monoid1</CDName>
<CDReviewDate>2009-05-14</CDReviewDate>
<CDDate>2009-05-14</CDDate>
<CDVersion>1</CDVersion>
<CDRevision>0</CDRevision>
<CDStatus>private</CDStatus>

<Description>
This is a private CD to represent monoids by their generators. 
</Description>

<CDDefinition>

<Name>monoid_by_generators</Name>
<Description> 
An n-ary function to construct a monoid from the list of its arguments.
</Description>

</FMP>
<OMOBJ>
 <OMA>
  <OMS cd="monoid1" name="monoid_by_generators"/>
  <OMA>
   <OMS cd="linalg2" name="matrix"/>
   <OMA>
    <OMS cd="linalg2" name="matrixrow"/>
    <OMI>1</OMI>
    <OMI>1</OMI>
   </OMA>
   <OMA>
    <OMS cd="linalg2" name="matrixrow"/>
    <OMI>0</OMI>
    <OMI>0</OMI>
   </OMA>
  </OMA>
  <OMA>
   <OMS cd="linalg2" name="matrix"/>
   <OMA>
    <OMS cd="linalg2" name="matrixrow"/>
    <OMI>0</OMI>
    <OMI>0</OMI>
   </OMA>
   <OMA>
    <OMS cd="linalg2" name="matrixrow"/>
    <OMI>1</OMI>
    <OMI>1</OMI>
   </OMA>
  </OMA>
 </OMA>
</OMOBJ>
</FMP>

</CDDefinition>

</CD>

[ Dauer der Verarbeitung: 0.16 Sekunden  (vorverarbeitet)  ]