The package bitwise
provides functions that allow to manipulate
bits of integer constants. As always maxima attempts to simplify the result
of the operation if the actual value of a constant isn’t known considering
attributes that might be known for the variables, see the declare
mechanism.