On Nov 26, 2008, at 2:48 AM, Robert Bradshaw wrote:
> > On Nov 25, 2008, at 11:46 PM, Tim Lahey wrote: > >> >> Thanks. >> >> Is there a way to do this for just a single call? >> Or is one supposed to just clear the assumption after the >> fact (I think the latter is done with forget() if I read >> the documentation correctly)? > > No, one needs to use forget. This really should be made into a > context, so one could do > > with a > 0: > print sqrt(a^2) > # here the assumption is forgotten I like this idea. Maple has the assuming command which allows for a command to be run with a specific assumption. Your idea is slight more work for a single command, but less work for a set of commands. Cheers, Tim. --- Tim Lahey PhD Candidate, Systems Design Engineering University of Waterloo --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
