Raise TypeError if Polyhedron.widen() is called on a non-polyhedral argument
[linpy.git] / doc / _templates /
drwxr-xr-x   ..
-rw-r--r-- 0 .gitignore