Проблема сопряженного вхождения в циклическую подгруппу в группах с условием $C(3)$–$T(6)$

Построен алгоритм, решающий проблему сопряженного вхождения в циклическую подгруппу в группах с копредставлением $G=(X;R)$, удовлетворяющим условиям $C(3)$–$T(6)$. Применяется метод диаграмм.