(z; q)_{\infty} has a nice expression for its coefficients in z. We implement this very important series as a lazy Laurent series.

We implement the Euler function (q; q)_{\infty} as a lazy Laurent series in q as well.

Depends on #32324

CC: @mantepse @fchapoton

Component: algebra

Keywords: q_pochhammer, euler function, LazyPowerSeries

Author: Travis Scrimshaw

Branch/Commit: 247faf7

Reviewer: Martin Rubey

Issue created by migration from https://trac.sagemath.org/ticket/34381