Skip to main content

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

Required fields*

7
  • $\begingroup$ I am really curious about what you are cooking here celtschk! :) $\endgroup$ Commented Apr 15, 2012 at 18:03
  • 2
    $\begingroup$ Just thought I'd better make you (and @István) aware, if you're not already, that what this implements seems quite similar to the undocumented function Internal`ComparePatterns. For instance Internal`ComparePatterns[_Integer, _] gives "Specific", i.e. _Integer is a special case of _. $\endgroup$ Commented Apr 15, 2012 at 19:03
  • $\begingroup$ @OleksandrR.: Ah thanks, I was not aware of that. Is there any place where this function is described? $\endgroup$ Commented Apr 15, 2012 at 19:10
  • 1
    $\begingroup$ @OleksandrR. would you care to post your findings as an answer to my question here? It would be nice to gather related stuff there, and it might nudge others knowing more to share information about ComparePatterns. So far it seems that this amazing function handles all my example cases posted there. $\endgroup$ Commented Apr 15, 2012 at 19:16
  • $\begingroup$ @István I haven't looked into this function in great detail so far; I just know that it exists and, in general terms, what it does. I think I'll research it further and then post an answer to your question mentioning it. I hadn't done so previously as what you ask for covers a much broader scope than Internal`ComparePatterns can actually address. $\endgroup$ Commented Apr 15, 2012 at 19:27