<div id="comment:0"></div> part of #25383, also inspired by part of #14652 CC: @tscrim @videlec @nthiery @dwbump Component: **algebra** Author: **Frédéric Chapoton** Branch/Commit: **[`bd9d6be`](https://github.com/sagemath/sagetrac-mirror/commit/bd9d6bebae84da6f3246858a68b389e1eea325cb)** Reviewer: **Travis Scrimshaw** _Issue created by migration from https://trac.sagemath.org/ticket/25791_