> Also, maybe I am wrong, but I think it would be easier to have > something like Ask(expr, Q.whatever, Assume(x>y)) with the new system. At any rate, this sort of things cannot be done with our current is_assumption system (how do you assume x>y using that?).
I think aaron's point is that the new system can at least express them, so there is a chance of implementing it later.
These are a level of complex assumptions that are out of the scope of what the new assumption system can handle. It requires a higher form of reasoning (potentially FOL, etc). Cheers -- You received this message because you are subscribed to the Google Groups "sympy" group. 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/sympy?hl=en.
-- You received this message because you are subscribed to the Google Groups "sympy" group. 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/sympy?hl=en.
