-- -*- M2-comint -*- hash: 5869440161868842041

i1 : X = base(5, Bundle => (A,3,a), Bundle => (B,3,b))

o1 = X

o1 : an abstract variety of dimension 5

i2 : Z = degeneracyLocus(2,B,A)

o2 = Z

o2 : an abstract variety of dimension 4

i3 : Z/X

o3 = a variety map

o3 : a map to X from Z

i4 : (Z/X)_* 1

o4 = - a  + b
        1    1

o4 : QQ[a ..b ]
         1   3

i5 : 
