Groups
An ordinary generating function (OGF) encodes a sequence (a_n) as a formal power series A(x) = \sum_{n \ge 0} a_n x^n.
Convolution turns local pairwise combinations (like matching characters or adding two dice) into a single fast transformโmultiplyโinverse pipeline.