7. Вычисления в поле характеристики 2
Краткое содержание
Непосредственная связь с последним параграфом
Демонстрация возможностей суперкомпилятора по глобальному преобразованию программ - от большой программы почти ничего не остается
Хотя на самом деле происходит банальный перебор.
Методическая цель этого параграфа - демонстрация работы с отождествление невозможно - за счет него в этом примере получаем в качестве бесплатного приложения мультипликативную группу кольца