: Public Note
Created: |
10-04-2008 12:16:11 |
Modified: |
10-04-2008 12:16:11 |
|
Project: |
|
Author: |
|
Version: |
|
Phase: |
|
Status: |
|
Complexity: |
|
Difficulty: |
|
Priority: |
|
Multiplicity: |
|
Advanced: |
|
UUID: |
{497B7B70-6008-46ed-8CA0-F29A37FDD2DE} |
Appears In: |
Fig 38: TP_Primitve Context Diagram |
-- 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>