We follow the construction of an element of the family from Prop 4.4 as explained in Matrix factorizations and families of curves of genus 15
i1 : kk=ZZ/10007;S=kk[x_0..x_4] o2 = S o2 : PolynomialRing |
i3 : N=constructEx3(S); |
i4 : betti res N 0 1 2 3 4 o4 = total: 6 12 11 6 1 0: 6 12 . . . 1: . . 11 3 . 2: . . . 3 1 o4 : BettiTally |
i5 : (M0,M1)=matrixFactorizationFromModule(N); |
i6 : tangentKernelDimension(N,M0)==3 o6 = true |