/usr/lib/open-axiom/input/assign.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 | --Copyright The Numerical Algorithms Group Limited 1991.
-- This file shows the difference between assignments and rewrite
-- rules.
a := 1
b := a -- the value of b is now 1
b -- see, told you
a := 2 -- what is the value of b?
b -- it is the value it had AT ASSIGNMENT
c == 1 -- c is a rule
c -- it will evaluate to 1
d == c -- d is a rule that will evaluate to c
d
c == 2 -- we have changed the rule for c
d -- and so the ultimate value computed from d will change
|