Існує елегантно простий спосіб вбудувати внутрішні продукти базового поля в поле розширення ступеня d без накладних витрат на пам'ять і лише з обчисленнями O(d) над обчисленнями. Нарешті я зробив належний запис. Дуже хочу спробувати це для M31 у WHIR. Посилання у відповіді.