-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 I am starting to use the PPL for a project dealing with state set representations for hybrid systems. I have a question regarding the dimension of polyhedra and variables. From what I can conclude, each variable can be assigned to a coordinate axis. Suppose I utilize 4 variables with each assigned to a different dimension: Variable a(0); Variable b(1); Variable c(2); Variable d(3); When I construct a polytope with the first two variables, it has a dimension of 2, as intended. When creating the same polytope with other variables (e.g. c and d), I get a dimension > 2 (in this case 4). Is it intended to return the dimension of the variable assigned to the "latest/largest" coordinate axis, although the number of used variables/dimensions might be smaller than the returned value (the polytope still uses only 2 variables)? 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/ iQEcBAEBCgAGBQJTPslxAAoJEFPSi5GyofDjxdsH/jri+KfYwXgrh1XmG1kxkQX7 pDU9i+V0u7zhttW0Wbsh/wWOOKtBc29JXcWBX3sy8AnYDhWFOyzcp4kJ10M+4wQA OmIKIt3X510YIpcxqzYbohdMzdZ/+3knyf06uzPdB3jQX1BBu9D7Y8AwdB/Mp/Tw Q5FaBmBcV4oXHA7COoYtnxuYyIEcmitUNAovz5/BOEWluM/j43pPd0ChDxBpY+YE A/K/aifiExYJNFFQpSz2G0+1j2ooFWeyM0OQzp1HVL61R1lhuIW8UXyLv8YJd/Kv H85d9ieYnYoEVCw7qNMhdg1jgFmt4NiNkL69Pwwxmau5TgZmbRu/j21W9mC7ymc= =i/vm -----END PGP SIGNATURE-----