let mk_inv a = mk_expt (-1) a