A regression in Maxima 5.17.1 with limits and assumptions?
Subject: A regression in Maxima 5.17.1 with limits and assumptions?
From: Robert Dodier
Date: Tue, 23 Dec 2008 09:35:35 -0700
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.
best
Robert