insert_separation

TangleSweep.insert_separation(insertion_idx: int, new_sep_id: int, agreement_lower_bound: int | None = None)

Insert a new separation into a specified level in the tree.

Below the insertion level, nodes which have parents that have an agreement value which lies below agreement_lower_bound are discarded. By default this bound is the agreement search limit. This is to ensure that by default an insertion does not increase the limit.

This causes all previously existing tangles that are of a higher order than the new separation to attempt to add the new separation as well. If this fails they are removed from the tree.

Inserting the separations has the same result as going back in time and simply appending the separations in the correct order.

Parameters

insertion_idxint

The level at which the new separation is inserted.

new_sep_idint

The id of the separation to append.

agreement_lower_boundint, optional

Only nodes with agreement at least agreement_lower_bound are extended in the appending step.