Pensieve header:  A fresh implementation of baby DoPeGDO. Continued pensieve://2020-12/.

Scheme: (Subscript[𝔼, _])[_]//(Subscript[𝔼, _])[_] calls FZip or Zip, which are functionally the same. Zip works by handling the quadratic part and calling PZip for the perturbation-only part. PZip works by iteratively solving the synthesis equation. FZip works by encapsulating coefficients, calling Zip, and back-substituting.

Variables and their duals:

{(SuperStar[y]),(SuperStar[x])}={η,ξ}; 
{(SuperStar[η]),(SuperStar[ξ])}={y,x};
(SuperStar[((Subscript[u_, i_]))]):=(Subscript[((SuperStar[u])), i]);