Macaulay2 » Documentation
Packages » MatchingFields » FlMatchingField
next | previous | forward | backward | up | index | toc

FlMatchingField -- The class of Matching Fields for partial flag varieties

Description

Common ways to define flag matching fields:

Technical details. A flag matching field is derived from the class MatchingField. All flag matching fields have the following fields:

  • tupleSizeList of type List
  • tupleMaxSize of type ZZ
  • tupleMaxValue of type ZZ
  • tuples of type List, accessible with getTuples
  • cache

Everything else, including: weight matrices; polynomial rings, maps and ideals; polyhedra such as the weight matrix cone and matching field polytope, are all stored inside the cache. Note that the package does not export the keys, such as tupleSizeList or tupleMaxValue. If you wish to directly address the contents of the FlMatchingField, then use "debug MatchingFields".

See also

Menu

Functions and methods returning an object of class FlMatchingField:

Methods that use an object of class FlMatchingField:

  • getGrMatchingFields(FlMatchingField) -- see getGrMatchingFields -- The Grassmannian matching fields of a partial flag matching field
  • matchingFieldPolytope(FlMatchingField) -- see matchingFieldPolytope -- The polytope of a matching field
  • html(FlMatchingField) -- see net(GrMatchingField) -- display a matching field
  • net(FlMatchingField) -- see net(GrMatchingField) -- display a matching field
  • NOBody(FlMatchingField) -- see NOBody -- Newton-Okounkov body of the matching field
  • plueckerIdeal(FlMatchingField) -- see plueckerIdeal -- The Pluecker ideal of a matching field
  • weightMatrixCone(FlMatchingField) -- see weightMatrixCone -- The cone of weight matrices that induce the matching field

For the programmer

The object FlMatchingField is a type, with ancestor classes MatchingField < HashTable < Thing.


The source of this document is in /build/reproducible-path/macaulay2-1.26.05+ds/M2/Macaulay2/packages/MatchingFields.m2:2213:0.