[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 |
Changes http://wiki.axiom-developer.org/270IntegratingUTS/diff
--
> 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
error.
removing simplification of type towers would significantly reduce the
usefulness of axiom.
t
--
forwarded from http://wiki.axiom-developer.org/address@hidden