Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Only declare DegreeOfMatrixGroup if it is missing
This is arguably cleaner than turning off debug info messages temporarily. I've submitted a symmetric change to primgrp, see gap-packages/primgrp#42, so that these two packages can be loaded in either order without producing a warning about this double declaration.
- Loading branch information