getASM -- get the ASM of an ideal (if it exists)

Synopsis

Usage:

getASM I
Inputs:
- I, an ideal,
Outputs:
- a matrix,

Description

Given an ideal $I$, gets the ASM $A$ so that $I=I_A$, if such an ASM $A$ exists. If the ASM $A$ has already been computed and stored in the cache of I using isASMIdeal, then this function produces $A$ immediately. Otherwise, an attempt will be made to compute the ASM. Once the ASM is computed, it is stored in the cache of $I$.

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

              5       5
o1 : Matrix ZZ  <-- ZZ

i2 : I = schubertDeterminantalIdeal A;

o2 : Ideal of QQ[z   ..z   ]
                  1,1   5,5

i3 : getASM I

o3 = | 0 0 1  0 0 |
     | 1 0 0  0 0 |
     | 0 1 -1 1 0 |
     | 0 0 0  0 1 |
     | 0 0 1  0 0 |

              5       5
o3 : Matrix ZZ  <-- ZZ

Ways to use getASM:

getASM(Ideal)

For the programmer

The object getASM is a method function.