From: Vivien Maisonneuve Date: Tue, 19 Aug 2014 13:30:56 +0000 (+0200) Subject: Raise TypeError if Polyhedron.widen() is called on a non-polyhedral argument X-Git-Tag: 1.0~39 X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/commitdiff_plain/c3149dd6dbf0dd296c85676fcf9f997ead2470f0?ds=inline;hp=c3149dd6dbf0dd296c85676fcf9f997ead2470f0 Raise TypeError if Polyhedron.widen() is called on a non-polyhedral argument ---