Algorithmic aspects of branched coverings I. Van Kampen's Theorem for bisets

Laurent Bartholdi, Dzmitry Dudko

We develop a general theory of "bisets": sets with two commuting group actions. They naturally encode topological correspondences. Just as van Kampen's theorem decomposes into a gr…