This file is indexed.

/usr/lib/open-axiom/input/intrf.input is in open-axiom-test 1.4.1+svn~2626-2ubuntu2.

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
--Copyright The Numerical Algorithms Group Limited 1991.

)clear all
-- some integration of rational functions
x + y/x
integrate(%,x)
-- we need not factor the denominator
(x+1)**2/((x+1)**6+1)
integrate(%,x)
(2*x**2+4)**4/(x**2-2)**5
integrate(%,x)
x**5/(x**4+x**2+1)**2
integrate(%,x)
1/(x**2 + a)
integrate(%,x)
x**2/(x**4-a**2)
integrate(%,x)
x/(1-x**3)
integrate(%,x)