On Thu, 2 Apr 2015, Guillaume CONNAN wrote:
is there a library to do some symbolic calculations over integer but with bitwise operations ? I need to work on symbolic polynomials mixing arithmetic + and * and bitwise >> << & | ^ .
I don't know about a library. But in any case, isn't it quite easy to make some functions? Do I understand correctly that you mean something like
P.<a>=ZZ[] P1=10*a^2-7*a+3 P2=11*a^2-15*a+4 P3=(P1.coefficients()[0] | P2.coefficients()[0]) + (P1.coefficients()[1] | P2.coefficients()[1])*a + (P1.coefficients()[2] | P2.coefficients()[2])*a^2 P3 -- Jori Mäntysalo
