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! --Doug --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
