Tag Info

Hot answers tagged

30

In my opinion, this is a very good and worthwhile question, but certainly not easy to answer. I don't have a full solution by any means, but as far as the comparison/matching part is concerned, the undocumented function Internal`ComparePatterns may be of substantial assistance. What follows is a short summary of what I know about this function, which exists ...


10

I am not an expert in the field, but ... According to Roman Maeder (and he is an expert): The process of unification should be easy to understand for Mathematica users, since a weaker form of it —pattern matching— is the fundamental operating principle of Mathematica’s evaluator. So, no unification is done in native Mma. If you need it, Maeder ...



Only top voted, non community-wiki answers of a minimum length are eligible