-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Hi, I am currently trying to create a Polytope from a matrix and a vector. Therefore I create linear expressions from the coefficients of the matrix in combination with the associated PPL-Variables. Afterwards I can add an inhomogenous term from the given vector. As far as I read the documentation I can construct a Polytope naturally by adding constraints. These constraints are supposed to be constructed from a relation of either a linear expression and a constant (my inhomogenuous term, if you want to put it that way) or a relation from two linear expressions. I tried both ways, but the constraint created seems to be empty. How am I supposed to create and use the needed Constraints? Short example: Linear expression: A + 3*B - 5 (when printed) resulting constraint: 0 >= -5 (created by: Parma_Polyhedra_Library::Constraint constraint = expr <= 0 , where expr is the linear expression) Best regards, Stefan - -- Stefan Schupp M.Sc. RWTH Aachen University Computer Science Department, Informatik 2 D-52056 Aachen, Germany http://www-i2.informatik.rwth-aachen.de/i2/schupp/ Tel.: +49 241 80 21243 -----BEGIN PGP SIGNATURE----- Version: GnuPG/MacGPG2 v2.0.22 (Darwin) Comment: GPGTools - https://gpgtools.org Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iQEcBAEBCgAGBQJTmGfQAAoJEFPSi5GyofDj2pMH/ikbRTgyELaev9vXansEqziP kKToH735PWdoynYKEEo+ANHPPUTjpe3J1fVGFQJAuO8PSElOUwN02xxkD0Yl9yV0 cM/8WVdVKZhADg0KsPjXgD5khlZMfR6DQS2L4ultddI82U6x2VaGkZSX8TZJDKHQ AJbyqd/1wcijEWHxILc2l2ip3YGAJAKfb64xlDD6RjDedorKuQtLiN7YFo82jteR YBmCSVgbXyI9cY2EcLfwcvltj3psxYRylqy/QpaEzPtyLGmEohCB+5n+8hPIYjms eEEGqWdJlVfvnnfeHnnCaCzIKYGArcGidc1n63hSWvb+p/+61bzG8Hq+JONyaa0= =g21U -----END PGP SIGNATURE-----