I'm a rank newbie with maxima and CAS' in general. I have a couple of
questions:
First, it appears there are no facilities specifically for solving
inequalities, linear or otherwise, right?
Second, I have the expression "x + 4 < 2 * (x + 5)" bound to the label
"ieq1". I can't get it evaluated even after "assume( equal(x, 2) )". I
also tried evaluating "at( ieq1, [x=0] )" which returned "4 < 10", which
seemed like progress, but following that with "ev( % )" returned the
same thing. How do I get expressions like this evaluated? More
fundamentally, what am I missing?
Thanks,
-- Bill Wood