Hay una forma elegante y sencilla de incrustar productos internos de campo base en un campo de extensión de grado d sin sobrecarga de memoria y solo sobrecarga de cálculo O (d). Finalmente hice un artículo adecuado. Muy interesado en probar esto para M31 en WHIR. Enlace en respuesta.