Raise TypeError if Polyhedron.widen() is called on a non-polyhedral argument
[linpy.git] / doc / .gitignore
1 /_build/