Macaulay2 » Documentation
Packages » MatrixSchubert :: isASMUnion
next | previous | forward | backward | up | index | toc

isASMUnion -- whether the union of matrix Schubert varieties is an ASM variety

Synopsis

Description

Given a list of permutations in 1-line notation, check whether the union of their matrix schubert varieties is an ASM variety. This function uses entrywiseMaxRankTable to construct the rank table that is the entrywise maximum of the rank tables of the input permutations. It then constructs an ASM $A$ from that rank table and uses permSetOfASM to check if the permutation set of $A$ is equal to the input list of permutations.

If the union of the matrix Schubert varieties of the input list of permutations is an ASM variety, it must be the ASM variety considered by this algorithm.

i1 : isASMUnion {{2,1,3,4},{4,2,3,1}} -- false

o1 = false
i2 : isASMUnion {{4,1,3,2},{3,4,1,2},{2,4,3,1}} -- true

o2 = true

Ways to use isASMUnion:

For the programmer

The object isASMUnion is a method function.