XModOps.IsSimplyConnected( X )
This Boolean function checks that the boundary map is surjective. The corresponding groupoid then has a single connected component.
gap> IsSimplyConnected( EX ); true
Previous Up Top NextIndex