[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#270 integrating UTS] [#270 integrating UTS] 1/x x =
[Axiom-developer] [#270 integrating UTS] [#270 integrating UTS] 1/x x = 1 is a bug!
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 http://wiki.axiom-developer.org/address@hidden