User blog comment:Ecl1psed276/BM2 Analysis - A Summary/@comment-25337554-20180707092442/@comment-30754445-20180709025322

@ECL1

How does (0,0)(1,1)(2,1)(3,1)(2,0)(1,1)(2,1)(3,1) result in an infinite loop in BM1?

I does seem that the expression doesn't expand properly to phi(1,0,w+1)... but why wouldn't it terminate? Can you write the infinite loop explicitly?