Tgraph.Decompose

This module defines decompose and decompositions for Tgraphs, but also exposes two auxiliary functions for debugging and experimenting.

Documentation

decompose :: Tgraph -> Tgraph

Decompose a Tgraph.

decompositions :: Tgraph -> [Tgraph]

infinite list of decompositions of a Tgraph

phiVMap :: Tgraph -> Map Dedge Vertex

phiVMap g produces a finite map from the phi edges (the long edges including kite joins) to assigned new vertices not in g. Both (a,b) and (b,a) get the same new vertex number. (Sort is used to fix order of assigned numbers). (Exported for use in TrackedTgraphs in Tgraphs module).

decompFace :: Map Dedge Vertex -> TileFace -> [TileFace]

Decompose a face producing new faces. This requires an edge to vertex map to get a unique new vertex assigned to each phi edge (as created by phiVMap). (Exported for use in TrackedTgraphs in Tgraphs module).