search

namme-anetten / epigram

Automatically exported from code.google.com/p/epigram
0 stars 0 forks source link

Strange behavior of the substEq elimination #109

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
In BugSubstEq.pig, I wanted to use substEq as an eliminator to solve a 
straightforward problem.

If I write the motive (which is the identity) myself and give the result, it 
goes through. If I appeal to EWMA to get this identity synthesized for me, I 
just get the problem I started with.

Original issue reported on code.google.com by pedag...@gmail.com on 18 Sep 2010 at 7:49