P
Initializing...
Convolution over C[y]/(y^r+1) via synthetic transforms · Prove2Me