C'è un modo elegantemente semplice per incorporare i prodotti interni del campo base in un campo di estensione di grado d senza sovraccarico di memoria e con solo O(d) di sovraccarico computazionale. Finalmente ho fatto una scrittura adeguata. Sono molto curioso di provare questo per M31 in WHIR. Link nella risposta.