<Verb>FundamentalGroup(K):: RegCWComplex --> FpGroup</Verb>
<Verb>FundamentalGroup(K,n):: RegCWComplex, Int --> FpGroup</Verb>
<Verb>FundamentalGroup(K):: SimplicialComplex --> FpGroup</Verb>
<Verb>FundamentalGroup(K):: PureCubicalComplex --> FpGroup</Verb>
<Verb>FundamentalGroup(K):: PurePermComplex --> FpGroup</Verb><P/>
<Verb>FundamentalGroup(F):: RegCWMap --> GroupHomomorphism</Verb>
<Verb>FundamentalGroup(F,n):: RegCWMap, Int --> GroupHomomorphism</Verb><P/>

<P/> Inputs a regular CW,  simplicial,  pure cubical or pure permutahedral
 complex <M>K</M> 
and returns the fundamental group.

<P/> Inputs a regular CW complex <M>K</M> and the number <M>n</M> of some zero cell. It returns the fundamental group of <M>K</M> based at the <M>n</M>-th zero cell.

<P/> Inputs a regular CW map <M>F</M>
and returns the induced homomorphism of fundamental groups. If the number of some zero cell in the domain of <M>F</M> is entered as an optional second variable
then the fundamental group is based at this zero cell.   


