Hello to all,
I'm interested in fast algorithms for addition and multiplication of Zhegalkin polynomials. For example, let
$f_1(x_1, x_2, x_3) = 1+x_1+x_2x_3$
$f_2(x_1, x_2, x_3) = x_1+x_3$
I'd like to have a fast algorithm to find the sum
$f_3(x_1, x_2, x_3) = f_1(x_1, x_2, x_3)+f_2(x_1, x_2, x_3)=1+x_3+x_2x_3$
Google gives nothing, so I would be grateful for any useful links to any theoretical researches and/or realizations (with any program language).
Thanks in advance!