$asksign might need its own context

• Subject: $asksign might need its own context
• From: Robert Dodier
• Date: Tue, 23 Feb 2010 09:46:29 -0700

On Mon, Feb 22, 2010 at 3:01 PM, Dieter Kaiser <drdieterkaiser at web.de> wrote:

> The reason is that the function $asksign writes its facts in the actual
> context. The function $integrate creates its own context. This context
> is killed when the integration is finished. Therefore, the next
> integration no longer knows the facts the user has answered during the
> evaluation of the first integral.
>
> The problem can be solved if $asksign uses its own global context to
> store facts. I have done an implementation of this idea.

I think I'm against it. I'd prefer that assumptions not leak out
of integrate (or other functions).

best

Robert Dodier

• Prev by Date: testsuite errors
• Next by Date: $asksign might need its own context
• Previous by thread: $asksign might need its own context
• Next by thread: $asksign might need its own context
• Index(es):
  • Date
  • Thread