The graph is intentionally acyclic. It has two preparation tracks: an algebraic track (eigen, invsub, schur) and an inner-product track (orthobasis, adjoint, normal, selfadj, unitaryop). They merge at ...