next | previous | forward | backward | up | top | index | toc | Macaulay2 web site

MatFac15 :: constructEx2

constructEx2 -- randomly choose a module N with Betti table as indicated in o4 below

Synopsis

Usage:
constructEx2(S)
Inputs:
- S, a polynomial ring, coordinate ring of P⁴
Outputs:
- a module, an S-module with desired betti numbers

Description

We follow the construction of an elemnt of the family Thm 4.3 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=constructEx2(S);

i4 : betti res N

            0  1  2 3 4
o4 = total: 4 10 13 8 1
         0: 1  .  . . .
         1: 3 10  1 . .
         2: .  . 12 8 1

o4 : BettiTally

i5 : (M0,M1)=matrixFactorizationFromModule(N);

i6 : tangentKernelDimension(N,M0)==6

o6 = true

Ways to use `constructEx2` :

constructEx2(PolynomialRing)