Comment #7 on issue 3585 by [email protected]: Replace new assumptions handlers
http://code.google.com/p/sympy/issues/detail?id=3585
Isn't class hierarchy just implications, except limited in expression?
I'm not sure I fully understand the question. I'll say something in hopes that it answers it.
Yes, class hierarchy is just a bunch of implications "any relation that is valid for this class is also valid for this class." I don't think new assumptions allows for this kind of expression. This was one of the benefits of the old assumptions organizational style that we've lost.
-- You received this message because you are subscribed to the Google Groups "sympy-issues" 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-issues?hl=en.
