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

schubertCodim -- compute the codimension (i.e., height) of a Schubert determinantal ideal or ASM ideal

Description

Given a partial alternating sign matrix or a permutation in 1-line notation, outputs the codimension of the corresponding alternating sign matrix ideal or Schubert determinantal ideal.

i1 : schubertCodim matrix{{0,0,0,1},{0,1,0,0},{1,-1,1,0},{0,1,0,0}}

o1 = 5
i2 : schubertCodim {1,3,2}

o2 = 1

Ways to use schubertCodim:

  • schubertCodim(List)
  • schubertCodim(Matrix)

For the programmer

The object schubertCodim is a method function.


The source of this document is in MatrixSchubert/MatrixSchubertInvariantsDOC.m2:57:0.