Существует элегантно простой способ внедрить внутренние произведения базового поля в расширенное поле степени d без накладных расходов по памяти и с вычислительными затратами только O(d). Я наконец-то сделал полноценное описание. Очень хочу попробовать это для M31 в WHIR. Ссылка в ответе.