Raise TypeError if Polyhedron.widen() is called on a non-polyhedral argument
authorVivien Maisonneuve <v.maisonneuve@gmail.com>
Tue, 19 Aug 2014 13:30:56 +0000 (15:30 +0200)
committerVivien Maisonneuve <v.maisonneuve@gmail.com>
Tue, 19 Aug 2014 13:31:00 +0000 (15:31 +0200)
commitc3149dd6dbf0dd296c85676fcf9f997ead2470f0
tree91111dbf4bf4c8eeab39ff23943d2f2b77275b62
parent4e408d8113221ec6ecbaabdeb24ba0710c5a417c
Raise TypeError if Polyhedron.widen() is called on a non-polyhedral argument
linpy/polyhedra.py