On Thu, Apr 10, 2008 at 2:17 PM, Oliver Kullmann
<O.Kullmann at swansea.ac.uk> wrote:
> ...The point is that actually for us Maxima is only a sort of a specification language, where emphasise is on readability and correctness.
It is generally considered a good idea to keep the operations in a
specification language as clean and simple as possible. Data
structure aliasing in particular (where modifying x can have the
side-effect of modifying y) is probably something you want to avoid
precisely because it makes correctness much harder to prove.
-s