Scope, assumptions, asksign, context. Was Re: Bug in Maxima 5.30.0
Subject: Scope, assumptions, asksign, context. Was Re: Bug in Maxima 5.30.0
From: Stavros Macrakis
Date: Wed, 4 Sep 2013 18:20:06 -0400
On Wed, Sep 4, 2013 at 12:42 PM, Robert Dodier <robert.dodier at gmail.com>wrote:
> On 2013-09-03, Stavros Macrakis <macrakis at alum.mit.edu> wrote:
> ...
> About a with_posval construct, I wonder if any assumptions should be
> made in addition to existing ones or possibly superseding them. E.g.
> what if we have (assume(x < 0), with_posval(foo(x), x)) ? I can see
> arguments both ways.
What we need to come up with is primitives *in terms of which* you could
write something like with_posval. The primitives should probably support
both possibilities.
That leaves open the question of the handling of contradictory assertions,
which I'll leave to another time....
-s