An ordered partition stack is an ordered partition which supports splitting a cell, and then later undoing a change, reverting the partition back to an earlier state.
‣ PartitionStack( ) | ( function ) |
Returns: A partition stack
Constructor for partition stacks.
‣ IsPartitionStack( arg ) | ( filter ) |
Returns: true or false
Category of partition stacks.
‣ PS_Points( PS ) | ( operation ) |
Returns: A positive integer
Return the number of points on which the partition stack PS was originally defined.
‣ PS_ExtendedPoints( PS ) | ( operation ) |
Returns: A positive integer
Return the number of points on which the partition stack PS is currently defined on (which includes extra points added during refinement)
‣ PS_Extend( PS, NewPoints ) | ( operation ) |
Returns: The label of the new cell
Adds NewPoints to PS, as a new cell at the end. Will be removed on backtracking.
‣ PS_Cells( PS ) | ( operation ) |
Returns: A positive integer
The number of cells in the current partition state of the partition stack PS.
‣ PS_Fixed( PS ) | ( operation ) |
Returns: true or false
Return true if all the cells of the current partition state of the partition stack PS have size 1 and were in the 'original partition'.
‣ PS_AsPartition( PS ) | ( operation ) |
Returns: A list of lists of positive integers
Return the current partition state of the partition stack PS as a list of sets, in the correct order.
‣ PS_CellLen( PS, i ) | ( operation ) |
Returns: A positive integer
The size of cell i in the current partition state of the partition stack PS. This requires that i is contained in [1..PS_Cells(PS)].
‣ PS_CellSlice( PS, i ) | ( operation ) |
Returns: An immutable list of positive integers
Return an immutable list containing the elements of cell i in the current partition state of the partition stack PS. This requires that i is contained in [1..PS_Cells(PS)].
‣ PS_FixedCells( PS ) | ( operation ) |
Returns: A list of 1-element lists of positive integers
Return a list of the 1-element cells of the current state of the partition stack PS which contain points from the original size of the partition, in the order in which the cells came to have size 1.
‣ PS_FixedPoints( PS ) | ( operation ) |
Returns: A list of positive integers
Return a list of points in 1-element cells of the partition stack PS, in the order in which the cells came to have size 1. In other words, return Concatenation(PS_FixedCells(PS)).
‣ PS_CellOfPoint( PS, i ) | ( operation ) |
Returns: A positive integer
Return the index of the cell containing the value i in the current partition state of the partition stack PS. This requires that i is contained in [1..PS_ExtededPoints(PS)].
‣ PS_RevertToCellCount( PS, i ) | ( operation ) |
Returns: Nothing
Revert the state of the partition stack PS to when there were i cells. This requires that i is contained in [1..PS_Cells(PS)].
‣ PS_SplitCellByFunction( PS, t, i, f ) | ( operation ) |
Returns: true or false
Split cell i of the current partition state of the partition stack PS according to the function f. The values in the cell are split so that those with different images under f are put into different cells. The second argument t should be a tracer.
‣ PS_SplitCellsByFunction( PS, t, f ) | ( operation ) |
Returns: true or false
Apply PS_SplitCellByFunction to every active cell in the partition stack PS (ignoring points added after search starts).
‣ PS_ExtendedSplitCellsByFunction( PS, t, f ) | ( operation ) |
Returns: true or false
Apply PS_SplitCellByFunction to every active cell in the partition stack PS (including points added after search starts).
‣ PS_SplitCellByUnorderedFunction( PS, t, i, f ) | ( operation ) |
Split cell i of the current partition state of the partition stack PS according to the function f. The values in the cell are split so that those with different images under f are put into different cells. The second argument t should be a tracer.
‣ PS_SplitCellsByUnorderedFunction( PS, t, f ) | ( operation ) |
Apply PS_SplitCellByUnorderedFunction to every active cell in the partition stack PS. The second argument t should be a tracer.
generated by GAPDoc2HTML