Given a map between vector bundles F and G on a normalized scroll of type e, the function computes the induced map between the first modules in the Eagon-Northcott type resolution of F and G.
i1 : (g,k,n) = (8,5,1000) o1 = (8, 5, 1000) o1 : Sequence |
i2 : e = balancedPartition(k-1,g-k+1) o2 = {1, 1, 1, 1} o2 : List |
i3 : Ican = canCurveWithFixedScroll(g,k,n); ZZ o3 : Ideal of ----[t , t , t , t , t , t , t , t ] 1009 0 1 2 3 4 5 6 7 |
i4 : Jcan = curveOnScroll(Ican,g,k); ZZ o4 : Ideal of ----[pp , pp , pp , pp , v, w] 1009 0 1 2 3 |
i5 : betti(resX = resCurveOnScroll(Jcan,g,2)) 0 1 2 3 o5 = total: 1 5 5 1 0: 1 . . . 1: . . . . 2: . 4 1 . 3: . 1 4 . 4: . . . . 5: . . . 1 o5 : BettiTally |
i6 : betti(liftMatrixToEN(resX.dd_1,e)) 0 1 o6 = total: 1 9 0: 1 . 1: . 9 o6 : BettiTally |
i7 : betti(liftMatrixToEN(resX.dd_2,e)) 0 1 o7 = total: 9 11 2: 9 11 o7 : BettiTally |
i8 : betti(liftMatrixToEN(resX.dd_3,e)) 0 1 o8 = total: 11 3 3: 11 . 4: . 3 o8 : BettiTally |