[Maxima] bug in 'is' ?
robert.dodier at gmail.com
Mon Feb 20 01:38:55 CST 2012
On 2/16/12, Stavros Macrakis <macrakis at alum.mit.edu> wrote:
> Since strings are not (currently) in the domain of the Maxima comparison
> operators, this should either give an error or return 'unknown'. I think I
> know what Robert's preference would be....
Well, an error is essentially a declaration that the expression in
question can never have a meaningful interpretation.
In the case of a string compared to a symbol, that could be be
given a meaningful interpretation if the symbol is assigned a
string value. (At present, is("a" < "b") triggers an error, but that's
a separate problem; it should be true.)
Therefore is("mystring" < mysymbol) should return 'unknown.
More information about the Maxima