prettify n_negmod_opt()
prettify a macro
use VECTOR_DOT_2() in det_mod_pk_mul_sub_2x2()