4 May
2012
4 May
'12
6:17 p.m.
On 05/04/2012 05:31 PM, Ezio Bartocci wrote:
Can i use the mpz_class instead of mpf_class for an arbitrary integer precision ?
Yes. When using the default configuration, the type of the constraint/generator coefficients of the PPL is exactly mpz_class (we have a typedef named "Coefficient"). Enea.