Opened 11 years ago

Last modified 4 years ago

#3277 new enhancement

context for calculus assumptions

Reported by: robertwb Owned by: gfurnish
Priority: major Milestone: sage-wishlist
Component: calculus Keywords: assume
Cc: mmezzarobba Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

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.

Change History (4)

comment:1 Changed 11 years ago by gfurnish

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)

comment:2 Changed 10 years ago by kcrisman

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

comment:3 Changed 7 years ago by kcrisman

  • Keywords assume added
  • Report Upstream set to N/A

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

comment:4 Changed 4 years ago by mmezzarobba

  • Cc mmezzarobba added
Note: See TracTickets for help on using tickets.