This file is indexed.

/usr/share/axiom-20170501/input/sqmatrix.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
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
)set break resume
)spool sqmatrix.output
)set message test on
)set message auto off
)clear all
--S 1 of 6
)set expose add constructor SquareMatrix
--R 
--R   SquareMatrix is now explicitly exposed in frame initial
--E 1

--S 2 of 6
m := squareMatrix [[1,-%i],[%i,4]]
--R 
--R
--R        +1   - %i+
--R   (1)  |        |
--R        +%i   4  +
--R                                       Type: SquareMatrix(2,Complex(Integer))
--E 2

--S 3 of 6
m*m - m
--R 
--R
--R        + 1   - 4%i+
--R   (2)  |          |
--R        +4%i   13  +
--R                                       Type: SquareMatrix(2,Complex(Integer))
--E 3

--S 4 of 6
mm := squareMatrix [[m, 1], [1-m, m^2]]
--R 
--R
--R        ++1   - %i+      +1  0+   +
--R        ||        |      |    |   |
--R        |+%i   4  +      +0  1+   |
--R   (3)  |                         |
--R        |+ 0    %i +  + 2   - 5%i+|
--R        ||         |  |          ||
--R        ++- %i  - 3+  +5%i   17  ++
--R                       Type: SquareMatrix(2,SquareMatrix(2,Complex(Integer)))
--E 4

--S 5 of 6
p := (x + m)^2
--R 
--R
--R         2   + 2   - 2%i+    + 2   - 5%i+
--R   (4)  x  + |          |x + |          |
--R             +2%i    8  +    +5%i   17  +
--R                           Type: Polynomial(SquareMatrix(2,Complex(Integer)))
--E 5

--S 6 of 6
p::SquareMatrix(2, ?)
--R 
--R
--R        + 2                        +
--R        |x  + 2x + 2  - 2%i x - 5%i|
--R   (5)  |                          |
--R        |              2           |
--R        +2%i x + 5%i  x  + 8x + 17 +
--R                           Type: SquareMatrix(2,Polynomial(Complex(Integer)))
--E 6
)spool 
)lisp (bye)