[Maxima] bug in 'is' ?

Robert Dodier 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.

best

Robert Dodier


More information about the Maxima mailing list