I'm just now catching up on the other thread. I'll post more comments there.
To answer your question, "A subclass shall match its parent, but in case its parent's constructor accepts different parameters, strange things may happen." If this happens, then the subclass is doing the wrong thing, because this violates the Liskov principle. So we should always assume that subclasses are correct in this sense. Aaron Meurer On Thu, Jul 3, 2014 at 2:39 PM, F. B. <franz.bona...@gmail.com> wrote: > I updated the draft: > > https://github.com/sympy/sympy/wiki/Proposal-for-a-new-pattern-matching > > The two problems I have identified so far: > > type inheritance and subelement matching (see "Typed patterns" section) > Non-commutative elements (see "Orderless and SymPy" section) > > Any ideas? > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sympy+unsubscr...@googlegroups.com. > To post to this group, send email to sympy@googlegroups.com. > Visit this group at http://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/b986b612-61e1-49ac-9f82-aa0a064d13b6%40googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6KfF8EkPGnVj2CwSj-AF1H9BVU3S1ExGCGk3ooTenhj4w%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.