Opened 13 years ago

Closed 4 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 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 12 years ago by kcrisman

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

comment:3 Changed 9 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 6 years ago by mmezzarobba

  • Cc mmezzarobba added

comment:5 Changed 5 months ago by mkoeppe

  • 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 5 months ago by gh-DaveWitteMorris

  • Reviewers set to Dave Morris
  • Status changed from needs_review to positive_review

comment:7 follow-up: Changed 5 months ago by kcrisman

NO WAY! Thanks to Emmanuel for that!

comment:8 in reply to: ↑ 7 ; follow-up: Changed 5 months ago by charpent

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 ?

Last edited 5 months ago by charpent (previous) (diff)

comment:9 in reply to: ↑ 8 Changed 5 months ago by 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 ?

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 4 months ago by slelievre

  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.