Hay una forma elegantemente simple de incrustar productos internos de campo base en un campo de extensión de grado d sin sobrecarga de memoria y con solo O(d) de sobrecarga computacional. Finalmente hice un informe adecuado. Estoy muy interesado en probar esto para M31 en WHIR. Enlace en la respuesta.