: Public Note
Created: 10-04-2008 12:16:11
Modified: 10-04-2008 12:16:11
Project:
Advanced:
-- topological dimension agrees with geometric dimension<br /></p><p>{geometry->forAll(geometry.dimension() = dimension())}<br /></p><p>-- basic geometric operation are preserved<br /></p><p>{complex.geometry->forAll(element->includes(geometry))}<br /></p><p>{boundary().asTP_Primitive().geometry = geometry.boundary()}<br /></p><p>-- isolated topology is codimension at least 2<br /></p><p>{coincidentSubelement.dimension() < dimension() -1}<br /></p><p>-- a primitive is its own positive TP_DirectedTopo<br /></p><p>{asTP_DirectedTopo(+) = self}<br /></p>