partialASMToASM -- extend a partial alternating sign matrix to an alternating sign matrix

Synopsis

Usage:

partialASMToASM A
Inputs:
- A, a matrix,
Outputs:
- a matrix,

Description

Given a partial alternating sign matrix, returns the unique smallest alternating sign matrix with the same essential set and same rank conditions at each element of the essential set.

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

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

              3       3
o1 : Matrix ZZ  <-- ZZ

i2 : partialASMToASM(A)

o2 = | 0 1  0 0 0 |
     | 1 -1 0 1 0 |
     | 0 0  0 0 1 |
     | 0 1  0 0 0 |
     | 0 0  1 0 0 |

              5       5
o2 : Matrix ZZ  <-- ZZ

Ways to use partialASMToASM:

partialASMToASM(Matrix)

For the programmer

The object partialASMToASM is a method function.