but there remains some uses in the same file
Part of #26902. Follow-up ticket: #34771
CC:  @tscrim @slel @kwankyu @kliem
Component: coding theory
Author: Frédéric Chapoton
Branch: d86dd0c
Reviewer: Kwankyu Lee
Issue created by migration from https://trac.sagemath.org/ticket/34737