Opened 14 years ago
Closed 2 years ago
#3277 closed enhancement (fixed)
context for calculus assumptions
| Reported by: | Robert Bradshaw | Owned by: | Gary Furnish |
|---|---|---|---|
| Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
| Component: | calculus | Keywords: | assume |
| Cc: | Marc Mezzarobba, Emmanuel Charpentier | Merged in: | |
| Authors: | Reviewers: | Dave Morris | |
| Report Upstream: | N/A | Work issues: | |
| Branch: | Commit: | ||
| Dependencies: | #24119 | Stopgaps: |
Status badges
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 (10)
comment:1 Changed 14 years ago by
comment:3 Changed 11 years ago by
| Keywords: | assume added |
|---|---|
| Report Upstream: | → N/A |
See also this ask.sagemath.org question, which would love this. Note that Maxima does support contexts.
comment:4 Changed 7 years ago by
| Cc: | Marc Mezzarobba added |
|---|
comment:5 Changed 2 years ago by
| Cc: | Emmanuel Charpentier added |
|---|---|
| Dependencies: | → #24119 |
| Milestone: | sage-wishlist → sage-duplicate/invalid/wontfix |
| Status: | new → needs_review |
This was implemented in #24119. Should be closed as a dup
comment:6 Changed 2 years ago by
| Reviewers: | → Dave Morris |
|---|---|
| Status: | needs_review → positive_review |
comment:8 follow-up: 9 Changed 2 years ago by
comment:9 Changed 2 years ago by
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.
comment:10 Changed 2 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | positive_review → closed |
Note: See
TracTickets for help on using
tickets.
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)