/usr/lib/open-axiom/input/arith.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 | )clear all
234+108
234*108
234**108
factor %
z := 1/2
v := (z + 1) ** 10
1024 * %
u := (x+1)**6
differentiate(u,x)
-- factor %
)clear all
-- compute Fibonacci numbers
fib(n | n = 0) == 1
fib(n | n = 1) == 1
fib(n | n > 1) == fib(n-1) + fib(n-2)
fib 5
fib 20
)clear all
-- compute Legendre polynomials
leg(n | n = 0) == 1
leg(n | n = 1) == x
leg(n | n > 1) == ((2*n-1)*x*leg(n-1)-(n-1)*leg(n-2))/n
leg 3
leg 14
-- look at it as a polynomial with rational number coefficients
--% :: POLY FRAC INT
)clear all
-- several flavors of computing factorial
fac1(n | n=1) == 1
fac1(n | n > 1) == n*fac1(n-1)
--
fac2 n == if n = 1 then 1 else n*fac2(n-1)
--
fac3 n == reduce(*,[1..n])
fac1 10
fac2 10
|