Periodic surface homeomorphism (source code)

= Periodic surface homeomorphism

A periodic surface homeomorphism has a positive power equal to the identity. A mapping class is periodic when it has such a representative. Allowing motion of boundary circles is a different convention from requiring every <isotopy> to fix the boundary pointwise.