This file is indexed.

/usr/share/axiom-20170501/input/vector.input is in axiom-test 20170501-3.

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

u : VECTOR INT := new(5,12)
v : VECTOR INT := vector([1,2,3,4,5])
#(v)
v.2
v.3 := 99
v
5 * v
v * 7
w : VECTOR INT := vector([2,3,4,5,6])
v + w
v - w