> Any explanation for this? Is it a bug? In assume facility? > Almost certainly this is because our assume only knows how to assume for certain types of objects. Maybe in Maxima Sage functions and Sage variables are treated the same, but probably y the function doesn't have an assume method and something is silently failing. So there are two bugs, most likely - functions can't be assumed to have properties, and we aren't catching the (current) failure.
In general, Sage assumption is pretty weak - even weaker than the Maxima assumption framework it uses, which they say is also weak. A few of us have tried to improve this a little bit, but I don't think anything has been done for a number of months. - kcrisman -- 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 URL: http://www.sagemath.org
