i1 : X = base(5, Bundle => (L,1,{l}), Bundle => (M,1,{m}), Bundle => (N,1,{n})) o1 = X o1 : an abstract variety of dimension 5 |
i2 : degeneracyLocus2(0,L+M+N,OO_X) o2 = l*m*n o2 : QQ[l, m, n] |
i3 : degeneracyLocus2(1,L+M+N,2*OO_X) o3 = l*m + l*n + m*n o3 : QQ[l, m, n] |
i4 : degeneracyLocus2(2,L+M+N,3*OO_X) o4 = l + m + n o4 : QQ[l, m, n] |
i5 : X = base(5, Bundle => (A,3,a), Bundle => (B,3,b)) o5 = X o5 : an abstract variety of dimension 5 |
i6 : degeneracyLocus2(0,B,OO_X) o6 = b 3 o6 : QQ[a , a , a , b , b , b ] 1 2 3 1 2 3 |
i7 : degeneracyLocus2(1,B,2*OO_X) o7 = b 2 o7 : QQ[a , a , a , b , b , b ] 1 2 3 1 2 3 |
i8 : degeneracyLocus2(2,B,3*OO_X) o8 = b 1 o8 : QQ[a , a , a , b , b , b ] 1 2 3 1 2 3 |
i9 : degeneracyLocus2(1,B,A) 2 2 2 2 o9 = a - a a - a a b + a b + a b + a b - 2a b - a b b + b + a b - 2 1 3 1 2 1 3 1 2 1 1 2 2 2 1 1 2 2 1 3 ------------------------------------------------------------------------ b b 1 3 o9 : QQ[a , a , a , b , b , b ] 1 2 3 1 2 3 |
i10 : degeneracyLocus2(2,B,A) o10 = - a + b 1 1 o10 : QQ[a , a , a , b , b , b ] 1 2 3 1 2 3 |
i11 : degeneracyLocus2(3,B,A) o11 = 1 o11 : QQ[a , a , a , b , b , b ] 1 2 3 1 2 3 |