<div id="comment:0"></div> (from [#31280 comment:42](https://github.com/sagemath/sage/issues/31280#comment:42)) CC: @antonio-rojas @isuruf @kiwifb @dimpase @orlitzky Component: **interfaces** _Issue created by migration from https://trac.sagemath.org/ticket/32147_