<Section><Heading>Generating (parts of) the Hasse diagram</Heading>
To generate a resolution of a crystallographic group, we don't
necessarily need the full Hasse diagram of a corresponding fundamental
domain. Here are a few functions which can be used to calculate a
(sufficient) part of it.
blabla...
</Section>
