This file is indexed.

/usr/lib/open-axiom/input/exlimit.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
-- Input for page ExLimitBasic
)clear all

limit((x**2 - 3*x + 2)/(x**2 - 1),x = 1)

-- Input for page ExLimitComplexInfinite
)clear all

complexLimit((2 + z)/(1 - z),z = %infinity)
limit(sin(x)/x,x = %plusInfinity)
complexLimit(sin(x)/x,x = %infinity)

-- Input for page ExLimitOneSided
)clear all

limit(x * log(x),x = 0,"right")
limit(x * log(x),x = 0)

-- Input for page ExLimitTwoSided
)clear all

limit(sqrt(y**2)/y,y = 0)
limit(sqrt(1 - cos(t))/t,t = 0)

-- Input for page ExLimitInfinite
)clear all

limit(sqrt(3*x**2 + 1)/(5*x),x = %plusInfinity)
limit(sqrt(3*x**2 + 1)/(5*x),x = %minusInfinity)

-- Input for page ExLimitParameter
)clear all

limit(sinh(a*x)/tan(b*x),x = 0)

-- Input for page ExLimitRealComplex
)clear all

limit(z * sin(1/z),z = 0)
complexLimit(z * sin(1/z),z = 0)