Presentation complex (source code)

= Presentation complex
{wiki}

A group presentation gives a two-dimensional cell complex with one vertex, one oriented loop for each generator, and one 2-cell attached along each relator. Its fundamental group is the presented group.