rankTable -- compute a table of rank conditions that determines a Schubert determinantal ideal or, more generally, an alternating sign matrix ideal.

Synopsis

• Usage:

  rankTable w

  rankTable A

• Inputs:
  • w, a list, or A is a Matrix
• Outputs:
  • a matrix,

Description

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

o1 = | 1 1 1 |
     | 1 1 2 |
     | 1 2 3 |

              3       3
o1 : Matrix ZZ  <-- ZZ

i2 : rankTable(matrix{{0,0,0,1},{0,1,0,0},{1,-1,1,0},{0,1,0,0}})

o2 = | 0 0 0 1 |
     | 0 1 1 2 |
     | 1 1 2 3 |
     | 1 2 3 4 |

              4       4
o2 : Matrix ZZ  <-- ZZ