Det finns ett elegant och enkelt sätt att bädda in inre produkter från basfältet i ett grad d-förlängningsfält utan minnesoverhead och endast O(d)-beräkningsoverhead. Jag gjorde äntligen en ordentlig skrivning. Mycket sugen på att prova detta för M31 i WHIR. Länk i svaret.