[PPL-devel] C++ interface and mpz_addmul

[Roberto Bagnara]

Hi there,

it seems that C++ statements of the form

     a += b*c

for a, b and c of type mpz_class, are not translated
by the C++ interface into an invocation of mpz_addmul.

The reason I am asking is twofold: on the one hand, expressions
like that are quite common in several applications and they usually
occur in critical computation paths (e.g., applications computing
zillions of scalar products); on the other hand, the template machinery
used to implement the C++ interface of GMP would seem powerful enough
to do the right thing.
Am I missing something?
If not, are there any plans to enhance the C++ interface so as to
capture this case?
Thanks a lot

     Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it