> On 17 Jun 2020, at 01:57, Theo Buehler wrote:
>
> The diff below removes some of the unnecessary complications in the
> calculation of the stoeplitz_cache and brings them into a form more
> suitable for mathematical reasoning. I added a somewhat dense comment
> which explains the full constr
The diff below removes some of the unnecessary complications in the
calculation of the stoeplitz_cache and brings them into a form more
suitable for mathematical reasoning. I added a somewhat dense comment
which explains the full construction and which will help justifying
upcoming diffs.
The obse