result = isLinkage MF
result = isLinkage TF
Consider a tope field given by a collection of bipartite graphs. The tope field is said to be linkage if for each $k+1$-subset $S$ of $[n]$, the union of the edges of the bipartite graphs $G$ where the non-isolated left-vertices of $G$ are contained in $S$, is a forest.
Note that all coherent matching fields are linkage.
|
|
The object isLinkage is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/MatchingFields.m2:3184:0.