[PPL-devel] Generator safety

[Stefan Schupp]

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