Сделать возможность автоматического перебора тождеств, выполняющихся на решётке конгруэнций заданного полигона. Тождество можно представлять как динамический граф.
Сделать возможность автоматического перебора тождеств, выполняющихся на решётке конгруэнций заданного полигона.
Тождество можно представлять как динамический граф.