pub fn left_regular_lift( group: &FiniteGroupSpec, matrix: &[Vec<GroupAlgebraElement>], ) -> Result<SparseGf2Matrix>