без использования перебора коллизий. это совсем простой алгоритм - там просто считается остаток от деления одного многочлена на другой - и поправить этот остаток проблем не составляет.

__________________
Bedankt euch dafür bei euch selbst.

H_2(S^3/((z1, z2)~(exp(2pi*i/p)z1, exp(2pi*q*i/p)z2)))=Z/pZ