Richard Fateman schrieb:   
   >   
   > [...]   
   >   
   > It seems that MatchPy was written in (deliberate ?) ignorance   
   > of free, open-source implementations of Mathematica's matching   
   > capability. It refers to a recent MS project   
   > https://arxiv.org/pdf/1705.00907.pdf which does not reference   
   >   Mathics (free, already in Python), or mockmma (in Lisp).   
   >   
      
   I also remember another candidate: An older German project claimed to   
   implement Mathematica-style pattern matching in Reduce. A few years ago,   
   a University-of-Bath student looked into it with a view to porting an   
   earlier version of Rubi to Reduce, but soon gave up, I believe.   
      
   This is from memory; the Reduce package should be mentioned somewhere,   
   but I haven't tried to dig it up.   
      
   Martin.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)