<div id="comment:0"></div> This function leaks in via `sage.interfaces.all`. Since it is being used in doctest, we import it properly through `sage.repl.all`. CC: @egourgoulhon Component: **user interface** Author: **Matthias Koeppe** Branch/Commit: **[`d6cf9f6`](https://github.com/sagemath/sagetrac-mirror/commit/d6cf9f6b386fd39dc203cb26b551a157e441bcaa)** Reviewer: **Kwankyu Lee** _Issue created by migration from https://trac.sagemath.org/ticket/33016_