[Maxima] A regression in Maxima 5.17.1 with limits and assumptions?
macrakis at alum.mit.edu
Tue Dec 23 14:07:02 CST 2008
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.
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],
> cntx : supcontext(cntx, global),
> (%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), ...]
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Maxima