On Jul 14, 2009, at 9:05 AM, Doug wrote: > Hmm. I've also had trouble interpreting what assume() affects, and I'm > glad to hear that I'm not the only one. What Robert says here helps a > lot, but is there anything written anywhere else that goes into a bit > more detail? I'm sure there's more to it than a missing filter on the > output of solve. e.g., that doesn't explain Neal's other example: > >> sage: assume(x == 1) >> sage: bool(x == 1) >> False > > I do a bunch of writing down equations, stating assumptions, and > trying to prove inequalities. Understanding what assume() does and > does not do could make my job a lot easier!
I would look at maxima's manual on assume for more info. - Robert --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
