Macaulay2 » Documentation
Packages » MatrixSchubert » Investigating ASM varieties » essentialSet
next | previous | forward | backward | up | index | toc

essentialSet -- compute the essential set in the Rothe Diagram for a partial ASM or a permutation.

Description

Given an alternating sign matrix or a permutation in 1-line notation, outputs Fulton's essential set, i.e., the maximally southeast elements of the Rothe diagram of that alternating sign matrix or permutation.

i1 : essentialSet({1,3,2})

o1 = {(2, 2)}

o1 : List
i2 : essentialSet(matrix{{0,0,0,1},{0,1,0,0},{1,-1,1,0},{0,1,0,0}})

o2 = {(1, 3), (2, 1), (3, 2)}

o2 : List

Ways to use essentialSet:

  • essentialSet(List)
  • essentialSet(Matrix)

For the programmer

The object essentialSet is a method function.


The source of this document is in MatrixSchubert/MatrixSchubertConstructionsDOC.m2:747:0.