Except I still don't know how it can be
that if \[ F(x) = \prod_{R}(x  \zeta^{R}) \] has a constant term,
then \[ F(\zeta) = A_{0}(x)\eta_{0} + A_{1}(x)\eta_{1} \]
as it seems to me there can't be a constant term on the right hand side of the latter.
Last fiddled with by wildrabbitt on 20200413 at 16:12
