"This notebook walks you through how to implement $ x := L^T x $ where $ L $ is lower triangular. Vector $ y $ is not to be touched (and, indeed, not even passed into the routines). This is a little ...