Try subst(x=2, ieq4)
Inequalities hold on one side of a boundary. Find the boundary, and then
test on each side.
> -----Original Message-----
> From: maxima-bounces at math.utexas.edu [mailto:maxima-
> bounces at math.utexas.edu] On Behalf Of Bill Wood
> Sent: Sunday, September 24, 2006 4:02 PM
> To: maxima at math.utexas.edu
> Subject: Newbie Question -- Expression Evaluation
>
> 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
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima