context for calculus assumptions

[robertwb]

one should be able to do something like

with assumptions(x<0):
    ...

where assume() and forget() would be called on the entering and exiting of the block. This could probably be cleanly done with maxima's contexts.

Depends on #24119

CC: @mezzarobba @EmmanuelCharpentier

Component: calculus

Keywords: assume

Reviewer: Dave Morris

Issue created by migration from https://trac.sagemath.org/ticket/3277

[garyfurnish]

comment:1

I'm going to implement passing of assumptions into functions, so much of this can be done as an addon to that (with some global assumption list)

[kcrisman]

comment:2

See also #780 and #1163 for discussions of assumption issues.

[kcrisman]

comment:3

See also this ask.sagemath.org question, which would love this. Note that Maxima does support contexts.

[kcrisman]

Changed keywords from none to assume

[mkoeppe]

Dependencies: #24119

[mkoeppe]

comment:5

This was implemented in #24119. Should be closed as a dup

[DaveWitteMorris]

Reviewer: Dave Morris

[kcrisman]

comment:7

NO WAY! Thanks to Emmanuel for that!

[EmmanuelCharpentier]

comment:8

Replying to @kcrisman:

NO WAY! Thanks to Emmanuel for that!

I may be dense but ... What do you mean by "NO WAY!" ? Do you think that this ticket should be treated separately from #24119 ?

[kcrisman]

comment:9

NO WAY! Thanks to Emmanuel for that!

I may be dense but ... What do you mean by "NO WAY!" ? Do you think that this ticket should be treated separately from #24119 ?

Sorry, an Americanism - it means, "I don't believe this amazing thing that has happened!" Purely a phrase of thankfulness and surprise.