/usr/share/gap/pkg/openmath/cds/fpgroup1.ocd is in gap-openmath 11.3.1+ds-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 | <CDName>fpgroup1</CDName>
<CDReviewDate>2009-06-10</CDReviewDate>
<CDDate>2009-06-10</CDDate>
<CDVersion>1</CDVersion>
<CDRevision>0</CDRevision>
<CDStatus>private</CDStatus>
<Description>
This is a private CD to represent finitely presented groups.
</Description>
<CDDefinition>
<Name>free_groupn</Name>
<Description>
A one-argument function to construct a free group of the specified rank.
</Description>
</FMP>
<OMOBJ>
<OMA>
<OMS cd="fpgroup1" name="free_groupn"/>
<OMI>2</OMI>
</OMA>
</OMOBJ>
</FMP>
</CDDefinition>
<CDDefinition>
<Name>fpgroup</Name>
<Description>
This is a function to construct a finitely presented group by factoring
a free group by a set of relators. Its first argument corresponds to the
free group, and the rest of arguments describe the relators using the
external representation for associative words used in GAP (see
'?The External Representation for Associative Words'.
</Description>
</FMP>
<OMOBJ>
<OMA>
<OMS cd="fpgroup1" name="fpgroup"/>
<OMA>
<OMS cd="fpgroup1" name="free_groupn"/>
<OMI>2</OMI>
</OMA>
<OMA>
<OMS cd="list1" name="list"/>
<OMI>1</OMI>
<OMI>4</OMI>
</OMA>
<OMA>
<OMS cd="list1" name="list"/>
<OMI>2</OMI>
<OMI>2</OMI>
</OMA>
<OMA>
<OMS cd="list1" name="list"/>
<OMI>2</OMI>
<OMI>-1</OMI>
<OMI>1</OMI>
<OMI>1</OMI>
<OMI>2</OMI>
<OMI>1</OMI>
<OMI>1</OMI>
<OMI>1</OMI>
</OMA>
</OMA>
</OMOBJ>
</FMP>
</CDDefinition>
</CD>
|