> So, what should x*(y > 0) do, raise a NotImplementedError?
> And x*(y == 0)? I guess we just special case inequalities.
>
> --
> Benjamin Jones
There exists this "assume" used sometimes... Maybe one possibility would be
to assume positivity or negativity for multiplication to be defined? E.g. :
sage: w,x,y,z = var('w,x,y,z')
sage: assume(x>0)
sage: x * (y < z)
x*y < x*z
sage: assume(w<0)
sage: w * (y<z)
w*y > w*z
Just an idea...
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
Visit this group at http://groups.google.com/group/sage-devel?hl=en.
