P
Initializing...
Convolution over C[y]/(y^r+1) via synthetic FFTs (Harvey–van der Hoeven §3.1) · Prove2Me