A Prolog package for Initial Quasi Manifold decomposition. This is a proof of concept prototype for the results in the thesis: Decomposition and Modeling in the Non-Manifold Domain
Included there are some examples about different parts of the package
contains an example about partitioning a set w.r.t. a equivalence relation.
contains an example about boundary calculations in a 2-complex and in a 3-complex
contains a tiny example about a tiny triangulation
studies a tetrahedralization reported as Example 7.4.2. in the thesis above.