[Maxima] A regression in Maxima 5.17.1 with limits and assumptions?
robert.dodier at gmail.com
Tue Dec 23 10:35:35 CST 2008
On 12/23/08, Stavros Macrakis <macrakis at alum.mit.edu> wrote:
> Hmm. That opens up an interesting can of worms in the general case.... The
> scope of asksign responses is (by default) one %i/%o interaction. So
> perhaps something like [abs(x),asksign(x)] should return [x,pos], [0,zero],
> or [-x,neg], and not [abs(x),pos/zero/neg]. And what about [if x>0 then a
> else b, asksign(x)]? Should that re-simplify the conditional?
Since Maxima is mostly or entirely dominated by dynamic as opposed
to lexical constructs, it seems inappropriate to go back and reevaluate
or resimplify previously evaluated results.
That said, I wouldn't mind seeing a construct like "F(x) assuming x >
0" or whatever.
More information about the Maxima