Implemented in F4ResComputation, gbres_comp, NCResComputation, res2_comp, and res_comp.
References Matrix.