  
  [1X18 [33X[0;0YMeataxe modules[133X[101X
  
  [33X[0;0Y::::::::::::::::::::::::[133X
  [33X[0;0Y[10XDesuspensionMtxModule(M)[110X[133X
  
  [33X[0;0YInputs  a  meataxe  module  [22XM[122X  over  the  field of [22Xp[122X elements and returns an
  FpG-module  DM.  The two modules are related mathematically by the existence
  of  a  short  exact  sequence  [22XDM  ⟶  FM ⟶ M[122X with [22XFM[122X a free module. Thus the
  homological properties of [22XDM[122X are equal to those of [22XM[122X with a dimension shift.[133X
  
  [33X[0;0Y(If  [22XG:=Group(M.generators)[122X  is a [22Xp[122X-group then [22XFM[122X is a projective cover of [22XM[122X
  in  the sense that the homomorphism [22XFM ⟶ M[122X does not factor as [22XFM ⟶ P ⟶ M[122X for
  any projective module [22XP[122X.)[133X
  [33X[0;0Y::::::::::::::::::::::::[133X
  [33X[0;0Y[10XFpG_to_MtxModule(M)[110X[133X
  
  [33X[0;0YInputs an FpG-module [22XM[122X and returns an isomorphic meataxe module.[133X
  [33X[0;0Y::::::::::::::::::::::::[133X
  [33X[0;0Y[10XGeneratorsOfMtxModule(M)[110X[133X
  
  [33X[0;0YInputs  a  meataxe module [22XM[122X acting on, say, the vector space [22XV[122X. The function
  returns  a  minimal  list of row vectors in [22XV[122X which generate [22XV[122X as a [22XG[122X-module
  (where G=Group(M.generators) ).[133X
  
