<div id="comment:0"></div> ... and other unused imports. CC: @dimpase @fchapoton Component: **linear programming** Author: **Matthias Koeppe** _Issue created by migration from https://trac.sagemath.org/ticket/34941_