[PPL-devel] Question about converting integers in PPL

[Enea Zaffanella]

Enea Zaffanella wrote:
[...]
>   Integer c = c1.coefficient(Variable(0));
>   long c_long = c.get_si();

Actually, there is no need to copy the coefficient before
converting it (the above code was just an explanation).
For efficiency, use an Integer& or write something like:

long c_long = c1.coefficient(Variable(0)).get_si();

Ciao,
Enea.