This file is indexed.

/usr/lib/open-axiom/input/array2.input is in open-axiom-test 1.5.0~svn3056+ds-1.

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
-- Input generated from TwoDimensionalArrayXmpPage
)clear all

arr : ARRAY2 INT := new(5,4,0)
setelt(arr,1,1,17)
arr
elt(arr,1,1)
arr(3,2) := 15
arr(3,2)
row(arr,1)
column(arr,1)
nrows(arr)
ncols(arr)
map(-,arr)
map((x +-> x + x),arr)
arrc := copy(arr)
map!(-,arrc)
arrc
arr
member?(17,arr)
member?(10317,arr)
count(17,arr)
count(0,arr)