Há uma maneira elegantemente simples de incorporar produtos internos de campo base em um campo de extensão de grau d, sem sobrecarga de memória e apenas O(d) de sobrecarga computacional. Finalmente fiz uma redação adequada. Estou muito ansioso para experimentar isso para M31 no WHIR. Link na resposta.