Created:  23.5.2022 18.05.05 
Modified:  1.8.2022 13.54.04 
Project:  
Advanced: 
Operation  
Public isMaximal():Boolean 

Details:
Sequential

Element  Source Role  Target Role 
Complex Interface 
Name: superComplex 
Name: subComplex 
Details:
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 edgenode graph as a subcomplex.<br/>

Element  Source Role  Target Role 
Complex Interface 
Name: superComplex 
Name: subComplex 
Details:
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 edgenode graph as a subcomplex.<br/>


Primitive Interface 
Name: element 
Name: 
Details:


Complex Interface 
Name: topology 
Name: geometry 
Details:

Tag  Value 
persistence  persistent 
Details:

Constraint  Type  Status 
self.boundary.topologicalDimension +1 = self.topologicalDimension  Invariant  Approved 
Details:


 a complex is closed under the boundary operation {subComplex includes boundary}  Invariant  Approved 
Details:

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 