A regression in Maxima 5.17.1 with limits and assumptions?
Subject: A regression in Maxima 5.17.1 with limits and assumptions?
From: Stavros Macrakis
Date: Tue, 23 Dec 2008 17:47:28 -0500
No, you don't need ev, which can evaluate in its peculiar way. A
macro ::= should do the trick.
-s
On 12/23/08, Barton Willis <willisb at unk.edu> wrote:
>
> 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
>
>
--
Sent from my mobile device