Es gibt eine elegant einfache Möglichkeit, Basisfeld-Innenprodukte in ein Erweiterungsfeld der Grad d einzubetten, ohne Speicherüberhead und nur mit O(d) Rechenaufwand. Ich habe endlich eine ordentliche Ausarbeitung gemacht. Ich bin sehr gespannt, dies für M31 in WHIR auszuprobieren. Link in der Antwort.