chiark / gitweb /
Do topology comparison with new reduction algorithm