Lightweight DotSkeleton #4
Description
To make the skeleton diagrams less wide we can omit the subsets that are not tiles and display the size of the equivalence class. Full DotSkeleton can be kept and also DotSekeletonForwardOrbit also displays the strongly connected components.