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


<P/> 
Inputs a a list <M>L</M> consisting of a subnormal series
 <M>1=N_1 \trianglerighteq N_2
\trianglerighteq \cdots \trianglerighteq N_n =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>.







