<Verb>ResolutionNilpotentGroup(G,k):: Group, Int --> FreeResolution</Verb><P/>


<P/> 
Inputs a nilpotent group <M>G</M> (which can be infinite) 
and  an integer <M>k \ge 1</M>. 
It 
returns   <M>k+1</M> terms of a free <M>\mathbb ZG</M>-resolution 
of <M>\mathbb Z</M>.







