This was causing simple examples to fail because the second phase of the
algorithm never kicked in. By moving the unmatching, this is avoided,
and is fine because of the corollaries in Irving's paper.
Thanks to @MartinMohlenkamp on #124 for raising this issue.
This was causing simple examples to fail because the second phase of the algorithm never kicked in. By moving the unmatching, this is avoided, and is fine because of the corollaries in Irving's paper.
Thanks to @MartinMohlenkamp on #124 for raising this issue.