/usr/lib/open-axiom/input/defs.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 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 | -- Input for page DefinitionsVsMappings
)clear all
square(x) == x*x
square == x +-> x*x
factorial(0) == 1
factorial(n) == n * fact(n - 1) when n > 0
factorial(n) ==
n = 0 => 1
n > 0 => n * factorial(n - 1)
factorial == n +->
n = 0 => 1
n > 0 => n * factorial(n - 1)
-- Input for page DefinitionsForFunctions
)clear all
define square(x) == x*x
square(x) == x*x
square(111)
square == x +-> x*x
square(1111)
timesY(x) == x * y
timesY == x +-> x * y
timesY(2)
y := 2
timesY(2)
y := 3
timesY(2)
-- Input for page RulesForVariables
)clear all
rule x == y + z
x
rule y == z + 1
x
z := a; y := 1;
x
a := 2/3
x
-- Input for page RulesVsAssignments
)clear all
rule x == y + 1; rule y == z + 1; rule z == 7;
[x,y,z]
rule z == 7; rule y == z + 1; rule x == y + 1; [x, y, z]
rule z == 1; [x, y, z]
a := b + 1; b := c + 1; c := 7;
[a, b, c]
b := 5; [a, b, c]
c := 7; b := c + 1; a := b + 1; [a, b, c]
p := q + 1; rule q == r + 1; r := 7; [p, q, r]
r := 1; [p, q, r]
-- Input for page RecurrenceRelations
)clear all
fib(0) == 1
fib(1) == 1
fib(n) == fib(n-1) + fib(n-2) otherwise
fib(10)
fib(100)
[fib(2**i) for i in 1..]
chebyshev1: Integer -> UnivariatePolynomial(x,Fraction Integer)
chebyshev1(0) == 1
chebyshev1(1) == x
chebyshev1(n) == 2*x* chebyshev1(n-1) - chebyshev1(n-2) when n > 1
chebyshev1(2)
chebyshev1(7)
chebyshev2 : Integer -> UnivariatePolynomial(x,Fraction Integer)
chebyshev2 == rules
chebyshev2(0) == 1
chebyshev2(1) == 2*x
chebyshev2(n) == 2*x* chebyshev2(n-1) - chebyshev2(n-2) when n > 1
chebyshev2(1)
chebyshev2(4)
chebyshev2(11)
|