Sign shouldn't be modifying the assume database, even with *correct*
inferences because the user/program loses control of the DB. But it
shouldn't be clearing existing assumptions either.
-s
On Mar 15, 2013 7:30 PM, "Robert Dodier" <robert.dodier at gmail.com> wrote:
> On 2013-03-15, Stavros Macrakis <macrakis at alum.mit.edu> wrote:
>
> > Not sure I understand what you're proposing. Won't that break
> >
> > [ asksign(x), sign(x), sign(x) ] ?
> >
> > The scope of asksign is supposed to be one top-level interaction.
>
> OK, I won't change 'asksign' ... hey, look at that, it's documented!
>
> Is there a rationale for 'sign' leaving stuff in the assume database?
>
> best
>
> Robert Dodier
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>