Created: | 23.5.2022 18.05.05 |
Modified: | 1.8.2022 13.54.04 |
![]() |
|
![]() |
Operation | ||
Public isMaximal():Boolean |
||
![]()
Sequential
|
Element | Source Role | Target Role |
Complex Interface |
Name: superComplex |
Name: subComplex |
![]() subcomplex (of a larger complex)<br/>complex all of whose elements are also in the larger complex<br/><br/>NOTE: Since the definition of complex requires only that the boundary operator be closed, then the set of any primitives of a particular dimension and below is always a subcomplex of the original, larger complex. Thus, any full planar topological complex contains an edge-node graph as a subcomplex.<br/>
|
Element | Source Role | Target Role |
Complex Interface |
Name: superComplex |
Name: subComplex |
![]() subcomplex (of a larger complex)<br/>complex all of whose elements are also in the larger complex<br/><br/>NOTE: Since the definition of complex requires only that the boundary operator be closed, then the set of any primitives of a particular dimension and below is always a subcomplex of the original, larger complex. Thus, any full planar topological complex contains an edge-node graph as a subcomplex.<br/>
|
||
Primitive Interface |
Name: element |
Name: |
![]() |
||
Complex Interface |
Name: topology |
Name: geometry |
![]() |
Tag | Value |
persistence | persistent |
![]() |
Constraint | Type | Status |
self.boundary.topologicalDimension +1 = self.topologicalDimension | Invariant | Approved |
![]() |
||
-- a complex is closed under the boundary operation {subComplex includes boundary} | Invariant | Approved |
![]() |
Property | Value |
isFinalSpecialization: | 0 |
Object | Type | Connection | Direction | Notes |
«type» GM_Complex | Class | Dependency | From | |
Primitive | Interface | Weak | From | |
«datatype» SimplicialComplex | DataType | Realization | From | |
Collection | Interface | Generalization | To |