This file is indexed.

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

differentiate(sin(x) * exp(x**2),x)

-- Input for page ExDiffSeveralVariables
)clear all

differentiate(sin(x) * tan(y)/(x**2 + y**2),x)
differentiate(sin(x) * tan(y)/(x**2 + y**2),y)

-- Input for page ExDiffMultipleI
)clear all

differentiate(sin(x)/(x**2 + y**2),[x,y])
differentiate(sin(x)/(x**2 + y**2),[x,y,y])

-- Input for page ExDiffMultipleII
)clear all

differentiate(cos(z)/(x**2 + y**3),[x,y,z],[1,2,3])

-- Input for page ExDiffHigherOrder
)clear all

differentiate(exp(x**2),x,4)

-- Input for page ExDiffFormalIntegral
)clear all

f := integrate(sqrt(1 + t**3),t)
differentiate(f,t)
differentiate(f * t**2,t)