This file is indexed.

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

-- some laplace transforms

)cl all
f n == t**(n-1)*exp(-a*t)/factorial(n-1)

-- L(f n) is 1/(s+a)^n
f 2
laplace(%, t, s)
f 5
laplace(%, t, s)
sin(a*t) - a*t*cos(a*t)
laplace(%, t, s)
(cosh(a*t) - cos(a*t))/(2*a**2)
laplace(%, t, s)
exp(-a*t) * sin(b*t) / b**2
laplace(%, t, s)
sin(a*t) * cosh(a*t) - cos(a*t) * sinh(a*t)
laplace(%, t, s)
(exp(a*t) - exp(b*t))/t
laplace(%, t, s)
2/t * (1 - cosh(a*t))
laplace(%, t, s)
2/t * (1 - cos(a*t))
laplace(%, t, s)
(cos(a*t) - cos(b*t))/t
laplace(%, t, s)
-- we handle some very limited form of special functions
a*Ci(b*t) + c*Si(d*t)
laplace(%, t, s)
exp(a*t+b)*Ei(c*t)
laplace(%, t, s)
-- we keep unknown transforms as formal transform in the answer
sin(a*t) - a*t*cos(a*t) + exp(t**2)
laplace(%, t, s)