-- -*- M2-comint -*- hash: 9129949610347650105

i1 : I1=schubertDeterminantalIdeal {3,4,1,2};

o1 : Ideal of QQ[z   ..z   ]
                  1,1   4,4

i2 : I2=sub(schubertDeterminantalIdeal {3,2,4,1},ring I1);

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

i3 : I = intersect(I1,I2);

o3 : Ideal of QQ[z   ..z   ]
                  1,1   4,4

i4 : isASMIdeal I

o4 = true

i5 : 
