[Maxima] A regression in Maxima 5.17.1 with limits and assumptions?
Barton Willis
willisb at unk.edu
Tue Dec 23 13:04:09 CST 2008
-----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
More information about the Maxima
mailing list