Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Ind

### 14 Tools

#### 14.1 Info Class

##### 14.1-1 InfoSquashDatastructureForConstructibleObjects
 ‣ InfoSquashDatastructureForConstructibleObjects ( info class )

#### 14.2 Constructors

##### 14.2-1 DatastructureForConstructibleObject
 ‣ DatastructureForConstructibleObject( none ) ( function )

Returns: an empty datastructure of a constructible object

Construct a datastructure of a constructible object.

##### 14.2-2 NodeInDatastructureOfConstructibleObject
 ‣ NodeInDatastructureOfConstructibleObject( C, A, d, b ) ( operation )

Returns: a datastructure of a node in a constructible object

Construct a node of parity b in a the datastructure C of a constructible object given an object A in a thin category.

##### 14.2-3 Attach
 ‣ Attach( N, pos_node, L ) ( operation )

Returns: a list

Use NodeInDatastructureOfConstructibleObject to attach to the datastructure C of a constructible object

• at the parents of the pre-node N the object pos_node as a new positive node,

• at the resulting positive node the entries of L as new negative nodes,

• at the resulting positive node the entries of L as new pre-nodes, and return a list containing the list of these pre-nodes as the first entry and the resulting positive node as the second.

#### 14.3 Operations

##### 14.3-1 IsDone
 ‣ IsDone( C ) ( operation )

##### 14.3-2 MinimalLevelOfPreNodes
 ‣ MinimalLevelOfPreNodes( pos_node ) ( operation )

Returns: nothing

##### 14.3-3 Pop
 ‣ Pop( C ) ( operation )

Returns: a datastructure of a node in a constructible object

##### 14.3-4 IsHomSetInhabited
 ‣ IsHomSetInhabited( node1, node2 ) ( operation )

Returns: true or false

Check if the object underlying node1 is contained in the object underlying node2.

##### 14.3-5 Remove
 ‣ Remove( pos_node ) ( operation )

Returns: nothing

##### 14.3-6 SquashOnce
 ‣ SquashOnce( C ) ( operation )

Returns: a datastructure of a node in a constructible object

##### 14.3-7 RemoveObsoleteSubtrahends
 ‣ RemoveObsoleteSubtrahends( C ) ( operation )

Returns: a datastructure of a node in a constructible object

##### 14.3-8 Squash
 ‣ Squash( C ) ( operation )

Returns: a datastructure of a node in a constructible object

##### 14.3-9 AsUnionOfMultipleDifferences
 ‣ AsUnionOfMultipleDifferences( C ) ( operation )

Returns: a constructible object

##### 14.3-10 DigraphOfParents
 ‣ DigraphOfParents( C ) ( operation )

Returns: a digraph

##### 14.3-11 DigraphOfChildren
 ‣ DigraphOfChildren( C ) ( operation )

Returns: a digraph

##### 14.3-12 Visualize
 ‣ Visualize( A ) ( operation )

Returns: nothing

Opens a PDF with the graph of the datastructure of a constructible object A.

#### 14.4 GAP categories

##### 14.4-1 IsDatastructureForConstructibleObjects
 ‣ IsDatastructureForConstructibleObjects( object ) ( filter )

Returns: true or false

The GAP category of datastructures for constructible objects.

##### 14.4-2 IsNodeInDatastructureOfConstructibleObjects
 ‣ IsNodeInDatastructureOfConstructibleObjects( object ) ( filter )

Returns: true or false

The GAP category of nodes in datastructures of constructibe objects.

Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Ind

generated by GAPDoc2HTML