From a93fd1cb792ef6dafaeb2599823256241c061cd3 Mon Sep 17 00:00:00 2001
From: Vivien Maisonneuve <v.maisonneuve@gmail.com>
Date: Tue, 19 Aug 2014 16:21:22 +0200
Subject: [PATCH] Check argument type in Domain.project()
---
linpy/domains.py | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/linpy/domains.py b/linpy/domains.py
index 31b5c3f..7015252 100644
--- a/linpy/domains.py
+++ b/linpy/domains.py
@@ -278,6 +278,10 @@ class Domain(GeometricObject):
Project out the sequence of symbols given in arguments, and return the
resulting domain.
"""
+ symbols = list(symbols)
+ for symbol in symbols:
+ if not isinstance(symbol, Symbol):
+ raise TypeError('symbols must be Symbol instances')
islset = self._toislset(self.polyhedra, self.symbols)
n = 0
for index, symbol in reversed(list(enumerate(self.symbols))):
--
2.20.1