Topology::Complex

: Public abstract Interface

Created:	23.5.2022 18.05.06
Modified:	1.8.2022 13.54.06

Project:
Author:	Marko Kauppi
Version:
Phase:
Status:	Proposed
Complexity:	Easy
Difficulty:
Priority:
Multiplicity:
Advanced:
UUID:	{8CA8B98C-88E5-41d8-8EF6-390DAEEBE8C5}
Appears In:	Figure 35 — Relation between geometry and topology, Figure 36 — Topology::Object and subclasses, Figure 38 — Topology Object, Complex and Primitive, Figure 41— Complex, Figure 34 — Topological class diagram, Main, Figure 43 — Simplex and Simplicial Complex, GeometryComplex, Fig 46: Complex View, Context Diagram: TopologyComplex, Primitve Context Diagram, FTopologyObject, Context Diagram: TopologyObject, Context Diagram: Graph

4.101 topological complex<br/>collection of topological primitives that is closed under the boundary operations <br/><br/>NOTE: Closed under the boundary operations means that if a primitive is in the complex, then its boundary objects are also in the complex.<br/>

Attributes
Operations
Associations To
Associations From
Tagged Values
Advanced
Other Links

Attribute

Public Topology
asSet

Details:

Alias:
Initial:
Stereotype:
Ordered:
Range:
Transient:	False
Derived:	False
IsID:	False

Public Boolean
isConnected

Details:

Alias:
Initial:
Stereotype:
Ordered:
Range:
Transient:	False
Derived:	False
IsID:	False

Public Boolean
isMaximal

Details:

Alias:
Initial:
Stereotype:
Ordered:
Range:
Transient:	False
Derived:	False
IsID:	False

Operation

Public
Complex(

geometry: Collection,

Default:
Kind:	inout
Stereotype:

):Complex

Details:

Sequential <<create>>

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

Element	Source Role	Target Role
Primitive Interface	Name: element	Name:
Details:
Topology Interface	Name:	Name: maximalComplex
Details:
Complex Interface	Name: subComplex	Name: superComplex
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 edge-node graph as a subcomplex.<br/>

Tag	Value
persistence	persistent
Details:

Property	Value
isFinalSpecialization:	0

Object	Type	Connection	Direction	Notes
«type» TP_Complex	Class	Dependency	From
«datatype» SimplicialComplex	DataType	Realization	From
Topology	Interface	Generalization	To
Graph	Class	Realization	From