A normal form for bases of finite-dimensional vector spaces. - Patrick Otto Ludl (CoRR, 2023)