On 21 zář, 18:51, kcrisman <kcris...@gmail.com> wrote:
> > 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.
>
Thanks.
With y=function('y',x) Maxima gets "asume(y(x)>0)" instead of
"assume(y>0)"
I created the ticket http://trac.sagemath.org/sage_trac/ticket/9961
and attached poor mans patch. No idea how to do something better :(
Robert
> - kcrisman
--
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
URL: http://www.sagemath.org
