bitwise ineq and R fcn for inverse
merged and integrated new MA