bridge/class-master/depend/pari/src/modules/algebras.c
/* If m is injective, computes a Z-basis of the submodule of elements whose
 * image under m is integral */
If m is injective, computes a Z-basis of the submodule of elements whose
image under m is integral
If m is injective computes a Z - basis of the submodule of elements whose image under m is integral
static GEN
QM_invimZ(GEN m)
{
  return RgM_invimage(m, QM_ImQ_hnf(m));
}
static GEN QM_invimZ ( GEN m ) { return RgM_invimage ( m , QM_ImQ_hnf ( m ) ) ; }
If m is injective, computes a Z-basis of the submodule of elements whose
 image under m is integral
If m is injective computes a Z - basis of the submodule of elements whose image under m is integral