Ticket #3277 (new enhancement)

Opened 8 months ago

Last modified 8 months ago

context for calculus assumptions

Reported by: robertwb Assigned to: gfurnish
Priority: major Milestone: sage-wishlist
Component: calculus Keywords:
Cc:

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

05/23/2008 12:41:14 PM changed 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)