[PPL-devel] Custom Number Types

[Stefan Schupp]

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