User blog comment:C7X/CNF Comparison Algorithm/@comment-32213734-20200106184503/@comment-32213734-20200107041411

My algorythm would stuck at the third string if it try to compare ε0 and ε1. So at least we need to insert between second and third strings a step comparing two epsilon numbers. (And possibly first check if first terms are the same, then, if not, check if they are epsilons, if yes, then compare them, and if not, then compare theirs exponents).