Opened 13 years ago
Closed 8 months ago
#3277 closed enhancement (fixed)
context for calculus assumptions
Reported by: | robertwb | Owned by: | gfurnish |
---|---|---|---|
Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
Component: | calculus | Keywords: | assume |
Cc: | mmezzarobba, charpent | Merged in: | |
Authors: | Reviewers: | Dave Morris | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | #24119 | 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 (10)
comment:1 Changed 13 years ago by
comment:2 Changed 12 years ago by
comment:3 Changed 9 years ago by
- 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 6 years ago by
- Cc mmezzarobba added
comment:5 Changed 10 months ago by
- Cc charpent added
- Dependencies set to #24119
- Milestone changed from sage-wishlist to sage-duplicate/invalid/wontfix
- Status changed from new to needs_review
This was implemented in #24119. Should be closed as a dup
comment:6 Changed 10 months ago by
- Reviewers set to Dave Morris
- Status changed from needs_review to positive_review
comment:7 follow-up: ↓ 8 Changed 10 months ago by
NO WAY! Thanks to Emmanuel for that!
comment:8 in reply to: ↑ 7 ; follow-up: ↓ 9 Changed 10 months ago by
comment:9 in reply to: ↑ 8 Changed 9 months 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 8 months ago by
- Resolution set to fixed
- Status changed from positive_review to closed
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)