FundamentalGroup(K):: RegCWComplex --> FpGroup
FundamentalGroup(K,n):: RegCWComplex, Int --> FpGroup
FundamentalGroup(K):: SimplicialComplex --> FpGroup
FundamentalGroup(K):: PureCubicalComplex --> FpGroup
FundamentalGroup(K):: PurePermComplex --> FpGroup

FundamentalGroup(F):: RegCWMap --> GroupHomomorphism
FundamentalGroup(F,n):: RegCWMap, Int --> GroupHomomorphism

Inputs a regular CW, simplicial, pure cubical or pure permutahedral complex K and returns the fundamental group.

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

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