cottax.relational.consumers.surface module

Relational’s part of a Surface: RelationalEditing, cuts closed by a fixed point.

class RelationalEditing(locator: Locator[V, N])

Bases: Editing

The relational edit a study writes by hand: cuts closed by a fixed point.

fixed_point_cut(cuts: Place | Mapping[Place, tuple[Label, ...]], readers: tuple[Label, ...] | None = None, *, at: Label | None = None, copy_of: PlaceToPlace | None = None)

Cuts closed by one problem holding each copy equal to what it copies (^copy.y = y): one variable and its readers, fixed_point_cut(‘y_1’, D2), or several closed together, fixed_point_cut({‘y_1’: D2, ‘y_2’: (D1,)}, at=’mda’). The problem binds at ^closure.<the first variable> unless at names it; each copy where copies says unless copy_of does.

Return type:

FixedPointCut