<div id="comment:0"></div> (split out from #33213) CC: @orlitzky @dcoudert @dimpase @fchapoton Component: **refactoring** Author: **Michael Orlitzky** Branch/Commit: **[`976f0d6`](https://github.com/sagemath/sagetrac-mirror/commit/976f0d686ee5375ed3894009a13b2cd54fcd89f2)** Reviewer: **David Coudert, Dima Pasechnik** _Issue created by migration from https://trac.sagemath.org/ticket/33829_