/usr/lib/open-axiom/input/tutchap1.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 | --Copyright The Numerical Algorithms Group Limited 1996.
1+1
123^45
2^(3+4)
4/3
2/2
a := 2
b := a
a := 3
b
i : Integer
i := 2/3
i := 4/2
c : PositiveInteger := 3
(j, k, l) : Integer
)display names
)clear properties c i
%%(1)
1 + %%(-3)
1 _
+_
2
7 * 8 -- In the next chapter we shall move beyond elementary arithmetic.
-- Commenting alone doesn't increment the command count.
|