This file is indexed.

/usr/lib/open-axiom/input/intef.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
24
25
26
27
28
29
30
31
32
33
34
35
--Copyright The Numerical Algorithms Group Limited 1993.
------------------------------ intef.input --------------------------------
 
)clear all
 
(a*x+b) / (b**2 * x * log(x)**2 + 2*a*b*x**2*log(x) + a**2*x**3 + x)
integrate(%,x)
 
((exp(x)-x**2+2*x)/(x**2*(exp(x)+x)**2))*exp((x**2-1)/x+1/(exp(x)+x))
integrate(%,x)
 
-- here are three which do not have elementary integrals
sin(x)/x
integrate(%,x)
 
x * cot x
integrate(%,x)
 
(2 * log(x)**2 - log x - x**2) / (log(x)**3 - x**2 * log x)
integrate(%,x)
 
-- real trigonometric functions are handled directly
cos(a * x) / (1 + cos(a * x))
integrate(%,x)
 
cos(3*x)*sin(2*x)
integrate(%,x)
 
-- integrals of hyperb. trigs are transformed back into hyperb. trigs.
cosh(a*x)*sinh(a*x)
integrate(%,x)