Data.SimplicialComplex

Simplices

data Simplex

Construction

(.<.)

makeSimplex

makeSimplex'

Deconstruction

simplexVertices

simplexVertices'

Simplicial complexes

data Triangulation n x

singleSimplex

Triangulation-builder monad

data TriangT t n x m y

evalTriangT

runTriangT

doTriangT

getTriang

Subsimplex-references

data SimplexIT t n x

simplexITList

lookSimplex

lookSplxFacesIT

lookSupersimplicesIT

tgetSimplexIT

lookVertexIT

lookSplxVerticesIT

sharedBoundary

distinctSimplices

type NeighbouringSimplices t n x

Building triangulations

disjointTriangulation

disjointSimplex

mixinTriangulation

introVertToTriang

webinateTriang

Misc util

type HaskMonad m

liftInTriangT

unliftInTriangT

data Nat

type Zero

type One

type Two

type Three

type Succ