isWellDefined(FM)
A FlagMatroid with constituent matroids $\{M_1, \ldots, M_k\}$ is well-defined if $M_i$ is a matroid quotient of $M_{i+1}$ (i.e. every flat of $M_i$ is a flat of $M_{i+1}$) for all $i = 1, \ldots, k-1$.
|
|
|
|
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/GKMVarieties/Documentation_GKMVarieties.m2:1894:0.