A regression in Maxima 5.17.1 with limits and assumptions?
Subject: A regression in Maxima 5.17.1 with limits and assumptions?
From: Barton Willis
Date: Tue, 23 Dec 2008 15:55:03 -0600
getting that to work is a puzzle -- does it require our favorite ev?
simp_using(e, [fcts]) ::= block([cntx],
unwind_protect((
supcontext(cntx),
apply('assume,fcts),
ev(e)),
killcontext(cntx)))$
(%i9) simp_using(asksign(x), x > 0);
(%o9) pos
(%i10) simp_using(asksign(x), x <= 0);
Is x negative or zero?zero;
(%o10) zero
Barton
-----maxima-bounces at math.utexas.edu wrote: -----
I'd think you'd want assuming to be a macro such that both the evaluation
and the simplification of the first argument happen in an environment where
the facts are assumed.? As written, simp_using(asksign(x),x>0) asks the
sign, but assuming(asksign(x),x>0) would not.
-s