Functions

compute a * c + b = b + a * c
compute a * c + b = b + a * c