/usr/share/gap/pkg/openmath/cds/record1.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 | <CDName>record1</CDName>
<CDReviewDate>2009-05-17</CDReviewDate>
<CDDate>2009-05-17</CDDate>
<CDVersion>1</CDVersion>
<CDRevision>0</CDRevision>
<CDStatus>private</CDStatus>
<Description>
This is a private CD to represent records. It facilitates exchanging
CAS data that are internally represented as records.
</Description>
<CDDefinition>
<Name>record</Name>
<Description>
An function to construct a record. This function has n pairs of arguments.
Each pair corresponds to the name of the record component and its value.
</Description>
</FMP>
<OMOBJ>
<OMA>
<OMS cd="record1" name="record"/>
<OMSTR>b</OMSTR>
<OMI>2</OMI>
<OMSTR>a</OMSTR>
<OMI>1</OMI>
</OMA>
</OMOBJ>
</FMP>
</CDDefinition>
</CD>
|