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 13:04:09 -0600
-----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