Custom Number Types
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Hi, another (maybe silly) question: How exactly to I extend the PPL (if possible) to my own number types? Is it sufficient to implement the checked_number policies? How do I add my type to the PPL afterwards? 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/ iQEcBAEBCgAGBQJT0RDDAAoJEFPSi5GyofDjH4sH/1gwYU2SQqVcV71bfcPYbFgl Y0HVGEqOB4rRu6UqYq2g9K/fVx/JFEyw+fo2qbJUKCdexvz8DyHje9NNtABdRZev 7a6EnUQtHbN97VPQPnTtujuslb925FVnzbt1rZoWTYJAPHlJfy71yC7wbNrg6I4V O3TFLz3T6ETH3Oi2NPx2efcZhRC1VXkc85FIFpKQ3gzjGeHiwymiddQICuX/Ufg0 hrHK/20/K1iqXJ4HuzWBTy43ZebtYWRSjOAAt7o78KOUBIz/StNHSXh0UFRkbu7y zX7ZF9wPbePd91DR6JrJR5SZbqYOx3+90IfZw0quB/5CtWe3OfuYng/mvHcWfuI= =lfHt -----END PGP SIGNATURE-----
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 07/24/14 15:57, Stefan Schupp wrote:
How exactly to I extend the PPL (if possible) to my own number types?
Hello Stefan, extending the PPL to use other numeric types can be done, but not via the ordinary user interfaces. Can you give us an idea about what you are trying to accomplish? 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 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iEYEARECAAYFAlPSCmIACgkQiBRXy7WUQ5IsEgCeOwuuYAMfoCmj+sekH+xGHenw r+IAniRzAV86L39Sk6kUSLUbvq8pD9fS =TPjt -----END PGP SIGNATURE-----
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Hello Roberto, my idea is as follows: I have a lightweight wrapper for different floating point implementations (e.g. mpfr, gmp, native float types) and rational types (not yet implemented). I want to use this wrapper as a number type for the PPL, for example to be able to make use of the multiprecision features of mpfr. Kind regards, Stefan Am 25/07/14 09:42, schrieb Roberto Bagnara:
On 07/24/14 15:57, Stefan Schupp wrote:
How exactly to I extend the PPL (if possible) to my own number types?
Hello Stefan,
extending the PPL to use other numeric types can be done, but not via the ordinary user interfaces. Can you give us an idea about what you are trying to accomplish? Kind regards,
Roberto
- -- 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/ iQEcBAEBCgAGBQJT0hODAAoJEFPSi5GyofDjQXoH/3jTy+mUYvRqWAHkx35Wf7Tn 5ZwkA55Ys/fitcSLQiq0xdimFtZMRNl4yafQOx1WfHgd0Lzpmq8QIq6YN5lzIfh2 hs0GkTxKYK4p8QfyPf8d6PcVVjNT440CoE/pGPmE/Oxxxy2VXKYdxXzecvGtwLzS EellgthFVkIw0m9PyPk/pb/Fot+Bj5ssBpKZ2juYadQZDafhxPoocE8Kfj/nlZMW ldBSIeDkTohLbFBC/GuhjDVBjiHNTBen8gYBQiG3yEHqFOElgywnwb3Bfm2cs1bp lZ857UY+FQ52wp6y8Dn+rA3Qa9QDz6N42OSN4p70MyFIB8UXf9og951BFisAwZ8= =QJQF -----END PGP SIGNATURE-----
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi Stefan. On 07/25/14 10:21, Stefan Schupp wrote:
my idea is as follows: I have a lightweight wrapper for different floating point implementations (e.g. mpfr, gmp, native float types) and rational types (not yet implemented). I want to use this wrapper as a number type for the PPL, for example to be able to make use of the multiprecision features of mpfr.
Just to make sure, you want to use those for boxes, bounded-difference and octagonal shapes approximations, right? Because it is not possible to use floating-point coefficients for the other approximations. Moreover, for boxes, bounded-difference and octagonal shapes, GMP's rationals and native floating-point types are already supported. Furthermore, as far as I now, GMP's floating-point numbers are deprecated in favor of MPFR's ones. So the only thing missing is support for MPFR. Are you willing to work on that? The first thing to do is to familiarize with Checked* and checked* source files. Kind regards, Roberto
Am 25/07/14 09:42, schrieb Roberto Bagnara:
On 07/24/14 15:57, Stefan Schupp wrote:
How exactly to I extend the PPL (if possible) to my own number types?
Hello Stefan,
extending the PPL to use other numeric types can be done, but not via the ordinary user interfaces. Can you give us an idea about what you are trying to accomplish? Kind regards,
Roberto
_______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel
- -- 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 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iEYEARECAAYFAlPTaCcACgkQiBRXy7WUQ5JBaQCfaN2uU1iucLl6sL6e31CpSQ+y aUoAmQHXxbPOR7UtFiaAWPJd7Dw8XUvH =0I3M -----END PGP SIGNATURE-----
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Hi Roberto, in my project I would need this for the polytope implementation. Anyways, I can have a look at the checked source files and see, what I can do for mpfr support. Best regards, Stefan Am 26/07/14 10:34, schrieb Roberto Bagnara:
Hi Stefan.
On 07/25/14 10:21, Stefan Schupp wrote:
my idea is as follows: I have a lightweight wrapper for different floating point implementations (e.g. mpfr, gmp, native float types) and rational types (not yet implemented). I want to use this wrapper as a number type for the PPL, for example to be able to make use of the multiprecision features of mpfr.
Just to make sure, you want to use those for boxes, bounded-difference and octagonal shapes approximations, right? Because it is not possible to use floating-point coefficients for the other approximations.
Moreover, for boxes, bounded-difference and octagonal shapes, GMP's rationals and native floating-point types are already supported. Furthermore, as far as I now, GMP's floating-point numbers are deprecated in favor of MPFR's ones.
So the only thing missing is support for MPFR. Are you willing to work on that? The first thing to do is to familiarize with Checked* and checked* source files. Kind regards,
Roberto
Am 25/07/14 09:42, schrieb Roberto Bagnara:
On 07/24/14 15:57, Stefan Schupp wrote:
How exactly to I extend the PPL (if possible) to my own number types?
Hello Stefan,
extending the PPL to use other numeric types can be done, but not via the ordinary user interfaces. Can you give us an idea about what you are trying to accomplish? Kind regards,
Roberto
_______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel
- -- 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/ iQEcBAEBCgAGBQJT11cFAAoJEFPSi5GyofDj0fEIAJvm5ttEfpG83xzZjtwqCSSa oE/46c/ES3BBBMpH9uCRoQ22jdj6vbzJss/JFOUqYz/5OobG1JBnfPD2BVv3MxNK IiYe4A8TNAB1v/jtPVDphmF/2P+Y7S0jH6zMvQQcicBwc6S9gm6x26gq8EA7YhnA YL/3vP0pzTmVA/R31DBY0lxNty8eceZNdBON2fDcp0vSalj9GZ+q3CRE/FsJW8IG CH/e+Fdb00oTvDc0vFFjezG4ZMS/CEIvCoAQQauPGJQ8Gs5Xjh7IWqFPtA4i4JeJ bIXnY3uz0D3WI3/M/mDQ1FM872goyJ9EQlqW5gyix0eP8gdQxeuYieUtiI0+pl0= =K77j -----END PGP SIGNATURE-----
participants (2)
-
Roberto Bagnara -
Stefan Schupp