We follow the construction of an element of the family from Thm 4.1 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=constructEx1(S); |
i4 : betti res N 0 1 2 3 o4 = total: 6 13 12 5 0: 6 13 3 . 1: . . 9 5 o4 : BettiTally |
i5 : (M0,M1)=matrixFactorizationFromModule(N); |
i6 : tangentKernelDimension(N,M0)==3 o6 = true |