This file is indexed.

/usr/lib/open-axiom/input/elemfun.input is in open-axiom-test 1.5.0~svn3056+ds-1.

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
47
48
49
50
51
52
53
54
--Copyright The Numerical Algorithms Group Limited 1991.

-- Manipulations of ElementaryFunction Integer
 
)clear all
 
-- some values of trig functions will simplify on application
cos 0
sin 0
exp 0
log 1
sin(%pi/2)
simplify %
 
-- same goes with the usual relations
sin(3)**2 + cos(3)**2
simplify %
 
a := atan 1
t := cos(a)*sin(a)*tan(a)*sec(a)*csc(a)*cot(a)
simplify t
 
-- we can remove selected operations
cot2tan t
cot2trig t
tan2cot t
tan2trig t
cos2sec t
 
-- given such a trig expression not involving any variables,
-- we can get a numeric approximation
 
t := sin(7)**2 - sec(7)/(1 - cot(7) + csc(7)**3)
simplify t
numeric %
 
-- we really didn't need to have simplified
numeric t
 
-- we can get more digits by giving a precision
numeric(t, 100)
 
-- if we do have an expression involving variables, we can use eval
-- to give them values
 
u := exp(sin(x-1)**2 - cos(x-1)/sec(x-1))
eval(u,x=1)
 
-- here is another technique using rewrite rules
v(x) == exp(sin(x-1)**2 - cos(x-1)/sec(x-1))
v x
v 1
v(%pi/3)
numeric %