‣ InfoSquashDatastructureForConstructibleObjects | ( info class ) |
‣ DatastructureForConstructibleObject( none ) | ( function ) |
Returns: an empty datastructure of a constructible object
Construct a datastructure of a constructible object.
‣ 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.
‣ 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.
‣ IsDone( C ) | ( operation ) |
‣ MinimalLevelOfPreNodes( pos_node ) | ( operation ) |
Returns: nothing
‣ Pop( C ) | ( operation ) |
Returns: a datastructure of a node in a constructible object
‣ IsHomSetInhabited( node1, node2 ) | ( operation ) |
Returns: true or false
Check if the object underlying node1 is contained in the object underlying node2.
‣ Remove( pos_node ) | ( operation ) |
Returns: nothing
‣ SquashOnce( C ) | ( operation ) |
Returns: a datastructure of a node in a constructible object
‣ RemoveObsoleteSubtrahends( C ) | ( operation ) |
Returns: a datastructure of a node in a constructible object
‣ Squash( C ) | ( operation ) |
Returns: a datastructure of a node in a constructible object
‣ AsUnionOfMultipleDifferences( C ) | ( operation ) |
Returns: a constructible object
‣ DigraphOfParents( C ) | ( operation ) |
Returns: a digraph
‣ DigraphOfChildren( C ) | ( operation ) |
Returns: a digraph
‣ Visualize( A ) | ( operation ) |
Returns: nothing
Opens a PDF with the graph of the datastructure of a constructible object A.
‣ Visualize( C ) | ( operation ) |
Returns: nothing
Opens a PDF with the graph of the datastructure of a finite thin cateogry C.
‣ IsDatastructureForConstructibleObjects( object ) | ( filter ) |
Returns: true or false
The GAP category of datastructures for constructible objects.
‣ IsNodeInDatastructureOfConstructibleObjects( object ) | ( filter ) |
Returns: true or false
The GAP category of nodes in datastructures of constructibe objects.
generated by GAPDoc2HTML