This file is indexed.

/usr/lib/open-axiom/input/float2.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
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
--Copyright The Numerical Algorithms Group Limited 1991.

f := 2.0/3
log exp f
asin sin f
acos cos f
atan tan f
asinh sinh f
acosh cosh f
atanh tanh f
sqrt(f**2)
4*atan(1.0)-%pi
log exp1()
exp log2()
exp log10()
 
f := 100.0/7
exp log f
sqrt(f**2)
sin(f)**2+cos(f)**2
sinh(f)**2-cosh(f)**2
truncate f
round f
fractionPart f
ceiling f
floor f
wholePart f
 
digits 50
f := 1.0/3
exp log f
asin sin f
acos cos f
atan tan f
asinh sinh f
acosh cosh f
atanh tanh f
log exp1()
sin numeric %pi
exp log2()
exp log10()
 
f := 1024.0
log2 f
f := 1000.0
log10 f