Реализация симметрий лежандровыми изотопиями

Недавно был построен алгоритм сравнения лежандровых узлов. Согласно алгоритму в случае, когда группа симметрий узла нетривиальна, чтобы сравнить два его лежандровых представителя, нужно проанализировать подгруппу группы симметрий, порождённую лежандровыми изотопиями. Мы явно предъявим порождающие лежандровы изотопии в трёх конкретных случаях узлов, тем самым завершая классификацию лежандровых узлов сложности не выше 9. Доклад основан на совместной работе с В. А. Шастиным.