<Verb>ResolutionNormalSeries(L,k):: List, Int --> FreeResolution</Verb><P/>


<P/> 
Inputs a a list <M>L</M> consisting of a chain $<M>1=N_1 \le N_2
\le \cdots \le N_n =G</M> of normal subgroups of <M>G</M>, together with
  an integer <M>k \ge 1</M>. 
It 
returns   <M>k+1</M> terms of a free ZG-resolution 
of <M>\mathbb Z</M>.







