Recent changes to 505: assume conflates programming and math vrblshttps://sourceforge.net/p/maxima/bugs/505/Recent changes to 505: assume conflates programming and math vrblsenSun, 01 Feb 2004 01:34:24 -0000assume conflates programming and math vrblshttps://sourceforge.net/p/maxima/bugs/505/Assume/is is not consistent in its treatment of
programming vs. mathematical variables
x:1$
assume\(x<0\) => Inconsistent
OK, this presumably is equivalent to assume\(1<0\)
assume\('x<0\) => Inconsistent
Questionable. Should 'x really refer to the
\*programming
variable\* x here even though it's quoted?
but
assume\(y<0\)$
y:1$ => no error
This is inconsistent with the situation above. But I
certainly don't want every variable assignment to be
checking the Assume database\!
is\(y<0\) => false
OK, 1<0 is false.
is\('y<0\) => true
OK if 'y is treated as a \*mathematical variable\* and
uses the assume database, not the programming variable
y. But above, assume\('x<0\) treats them as the same.Stavros MacrakisSun, 01 Feb 2004 01:34:24 -0000https://sourceforge.net4f6e66b86429274f4396fa6658bf112b6c7b8da4