1 2from sage.misc.lazy_import import lazy_import 3lazy_import('sage.geometry.polyhedron.constructor', 'Polyhedron') 4lazy_import('sage.geometry.polyhedron.library', 'polytopes') 5 6 7