isASM -- whether a matrix is an ASM

Usage:

isASM M
Inputs:
- M, a matrix,
Outputs:
- a Boolean value,

Description

Returns true if the given matrix is an ASM, and false otherwise.

i1 : M = matrix{{0, 0, 1, 0}, {1, 0, 0, 0}, {0, 1, -1, 1}, {0, 0, 1, 0}}

o1 = | 0 0 1  0 |
     | 1 0 0  0 |
     | 0 1 -1 1 |
     | 0 0 1  0 |

              4       4
o1 : Matrix ZZ  <-- ZZ

i2 : isASM M

o2 = true

Ways to use isASM:

isASM(Matrix)

For the programmer

The object isASM is a method function.

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/MatrixSchubert/MatrixSchubertConstructionsDOC.m2:1111:0.