-----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