A regression in Maxima 5.17.1 with limits and assumptions?

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

On Tue, Dec 23, 2008 at 2:04 PM, Barton Willis <willisb at unk.edu> wrote:

> -----maxima-bounces at math.utexas.edu wrote: -----
>
> >That said, I wouldn't mind seeing a construct like "F(x) assuming x >
> 0" or whatever.
>
> Possibly tangential:
>
> (%i7) load("unwind_protect")$
>
> (%i8) simp_using(e, [fcts]) := block([cntx],
>  unwind_protect((
>      cntx : supcontext(cntx, global),
>      apply('assume,fcts),
>      expand(e,0,0)),
>    killcontext(cntx)))$
>
> (%i9) simp_using(abs(x), x > 0);
> (%o9) x
>
> (%i10) simp_using(abs(x), x < 0);
> (%o10) -x
>
> (%i11) contexts;
> (%o11) [initial,global]
>
> (%i12) map('facts, contexts);
> (%o12) [[],[equal(%e,2.718281828459045), ...]
>
> Barton
>
>
>