Generator safety
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Hi, just a short question: Are generators and generator systems "safe" in their type? E.g. if I create a C_Polytope from a generator system consisting of points and apply some operation on the constructed polytope: Is the generator system of the resulting polytope guaranteed to consist only of points? 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/ iQEcBAEBCgAGBQJTrTYLAAoJEFPSi5GyofDjZfYIAJTobizL3bkMRMHk/YtRTDVP OI7mwAd0mBgBq6XwSM9aODqpDflXmLQPiTnJZK00C5ovaLYkh4t6ccWL5XD9tMfg c+mkuWm4V/DHVpA1VUaSMYi0yoLWPyAdhibx8G0q5+ekfHYsR7SrYtF5J63PuaAX PyLDggnSwxatRJJ3/yecf4tUVGxM6rV25h/ZShEkbBtuH5TWz+ilL0C+CZOUdS8P +beTfV7IGRsW7SBzrdzxNAHEsxqrOp435H6J771QRT3HBcMYRc2WJK/nPssyu1sT j1hJ/hN7JtPRd2183jN3S4yQVDasXZmekdgS1hDwm5GsT9hloMybh/cA3XwPVsA= =/edB -----END PGP SIGNATURE-----
Hello Stefan. On 06/27/14 11:14, Stefan Schupp wrote:
just a short question:
Are generators and generator systems "safe" in their type?
I am not sure what "safety" might mean in this context.
E.g. if I create a C_Polytope from a generator system consisting of points and apply some operation on the constructed polytope: Is the generator system of the resulting polytope guaranteed to consist only of points?
This is also unclear, as C_Polytope is not a type of the PPL. If by "polytope" you mean a bounded polyhedron, then perhaps the property that interests you is: bounded polyhedra contain neither lines nor rays. Hence bounded polyhedra either are empty or contain points. Does this answer your question? Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
participants (2)
-
Roberto Bagnara -
Stefan Schupp