gap-openmath 11.3.1+ds-2 / usr / share / gap / pkg / openmath / tst / test1.omt

This file is indexed.

/usr/share/gap/pkg/openmath/tst/test1.omt 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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
<OMOBJ>
  <OMA>
    <OMS cd="basic" name="+"/>
    <OMI>10</OMI>
    <OMI>123912873981723981729387129387912738</OMI>
    <OMI>0</OMI>
    <OMI>-10</OMI>
    <OMI>-123912873981723981729387129387912738</OMI>
    <!-- test for 32 bit int limit -->
    <OMI>-2147483648</OMI>
    <OMI>2147483647</OMI>
    <OMI>-2147483649</OMI>
    <OMI>2147483648</OMI>
    <OMI>-214748364</OMI>
    <OMI>214748364</OMI>
    <OMI>-2147483640</OMI>
    <OMI>2147483640</OMI>
    <!-- test for big ints expressed in base 16 -->
    <OMI>xffffffff</OMI>
    <OMI>-xffffffff</OMI>
    <OMI>x10ab2937fed2837a028374</OMI>
    <OMI>-x10ab2937fed2837a028374</OMI>
    <OMATTR>
      <OMATP>
        <OMS cd="presentation" name="font"/>
        <OMSTR>helvetica</OMSTR>
        <OMS cd="fonts" name="outline"/>
        <OMB>AAECAwQFBgcICQoLDA0=
        </OMB>
      </OMATP>
      <OMV name="y"/>
    </OMATTR>
    <!-- test sharing -->
    <OMA>
      <OMS cd="basic" name="sin"/>
      <OMS cd="basic" name="pi"/>
    </OMA>
    <OMA>
      <OMS cd="basic" name="cos"/>
      <OMS cd="basic" name="pi"/>
    </OMA>
    <OMV name="x"/>
    <!-- test for sharing and small ints (binary) -->
    <OMA>
      <OMS cd="basic" name="+"/>
      <OMI>1</OMI>
      <OMI>2</OMI>
      <OMI>-1</OMI>
      <OMI>-2</OMI>
      <OMA>
        <OMS cd="basic" name="+"/>
        <OMI>126</OMI>
        <OMI>127</OMI>
        <OMI>128</OMI>
        <OMI>129</OMI>
      </OMA>
    </OMA>
  </OMA>
</OMOBJ>
<!-- Another object. test for sharing scope errors -->
<OMOBJ>
  <OMA>
    <OMS cd="basic" name="+"/>
    <OMV name="x"/>
    <OMV name="y"/>
    <OMV name="z"/>
    <OMA>
      <OMS cd="basic" name="+"/>
      <OMV name="x"/>
      <OMV name="y"/>
      <OMV name="z"/>
      <OMV name="z"/>
      <OMV name="zz"/>
      <OMV name="t"/>
      <OMS cd="basic" name="pi"/>
      <!-- this one must not be shared -->
    </OMA>
  </OMA>
</OMOBJ>
<!-- test for binders -->
<OMOBJ>
  <OMBIND>
    <!-- binder -->
    <OMS cd="quant" name="foreach"/>
    <OMBVAR>
      <!-- bound variable(s) -->
      <OMV name="x"/>
    </OMBVAR>
    <!-- bound object -->
    <OMA>
      <OMS cd="basic" name="="/>
      <OMV name="x"/>
      <OMV name="i"/>
    </OMA>
  </OMBIND>
</OMOBJ>

APT Browse - Built by Thomas Orozco.