This file is indexed.

/usr/lib/open-axiom/input/limit.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 1994.

)clear all
-- The returned limit seems to be wrong:
f := exp(n) * (sin(1/n + exp(-n)) - sin(1/n))

--                   - n
--          n    n %e    + 1      n    1
--   (1)  %e sin(-----------) - %e sin(-)
--                    n                n
--                                                     Type: Expression Integer
limit(f,n=%plusInfinity)

--   (2)  0
--                        Type: Union(OrderedCompletion Expression Integer,...)

--I think that the correct limit is 1, not 0.

-- manuel