<div id="comment:0"></div> (split out from #33213) CC: @orlitzky Component: **refactoring** Author: **Michael Orlitzky** Branch/Commit: **[`7947b77`](https://github.com/sagemath/sagetrac-mirror/commit/7947b77856219d2efca1079c8fbd092ca5395a15)** Reviewer: **Matthias Koeppe** _Issue created by migration from https://trac.sagemath.org/ticket/33799_