[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] [#270 integrating UTS] [#270 integrating UTS] 1/x x =

From: root
Subject: [Axiom-developer] [#270 integrating UTS] [#270 integrating UTS] 1/x x = 1 is a bug!
Date: Fri, 24 Feb 2006 16:39:58 -0600

>  Users should not use the same identifier for two different objects.

consider that this is COMPUTATIONAL mathematics. the user has to know
what the scope of a variable is. the 'bug' is actually a user error.
the behavior of the system is well defined and the result can be
predicted. failure to correctly scope variables is a standard programmer

removing simplification of type towers would significantly reduce the
usefulness of axiom.


forwarded from

reply via email to

[Prev in Thread] Current Thread [Next in Thread]