i1 : n=5 o1 = 5 |
i2 : (Vhaff,Vpsec,Isec,Vploc,Vploc1,Vploc2)=claimsOfTable1(n); |
i3 : codim Vhaff==0, dim Vhaff==10, degree Vhaff==1 o3 = (true, true, true) o3 : Sequence |
i4 : codim Vpsec==4, dim Vpsec==6, degree Vpsec==10 o4 = (true, true, true) o4 : Sequence |
i5 : betti res Vpsec 0 1 2 3 4 o5 = total: 1 6 10 6 1 0: 1 . . . . 1: . 6 5 . . 2: . . 5 6 . 3: . . . . 1 o5 : BettiTally |
i6 : Vpsec 2 2 2 o6 = ideal (a - a a + a - a a + a - 2,3,4 2,3,3 2,4,4 3,3,4 3,3,3 3,4,4 3,4,4 ------------------------------------------------------------------------ a a , a a - a a + a a - a a 3,3,4 4,4,4 2,2,4 2,3,4 2,2,3 2,4,4 2,3,4 3,3,4 2,3,3 3,4,4 ------------------------------------------------------------------------ + a a - a a , a a - a a + 2,4,4 3,4,4 2,3,4 4,4,4 2,2,4 2,3,3 2,2,3 2,3,4 ------------------------------------------------------------------------ 2 a a - a a + a a - a a , a - 2,3,4 3,3,3 2,3,3 3,3,4 2,4,4 3,3,4 2,3,4 3,4,4 2,2,4 ------------------------------------------------------------------------ 2 2 a a + a a + a - a - a a + 2,2,2 2,4,4 2,3,3 2,4,4 2,4,4 3,3,4 2,2,3 3,4,4 ------------------------------------------------------------------------ 2 a a - a - a a + a a , a a - 3,3,3 3,4,4 3,4,4 2,2,4 4,4,4 3,3,4 4,4,4 2,2,3 2,2,4 ------------------------------------------------------------------------ a a + a a + a a - a a - 2,2,2 2,3,4 2,3,3 2,3,4 2,3,4 2,4,4 2,2,3 3,3,4 ------------------------------------------------------------------------ 2 2 a a , a - a a + a + a a - 2,2,4 3,4,4 2,2,3 2,2,2 2,3,3 2,3,3 2,3,3 2,4,4 ------------------------------------------------------------------------ 2 2 a a - a a - a + a a - a + 2,2,3 3,3,3 2,2,4 3,3,4 3,3,4 3,3,3 3,4,4 3,4,4 ------------------------------------------------------------------------ a a ) 3,3,4 4,4,4 o6 : Ideal of QQ[a , a , a , a , a , a , a , a , a , a ] 2,2,2 2,2,3 2,2,4 2,3,3 2,3,4 2,4,4 3,3,3 3,3,4 3,4,4 4,4,4 |
i7 : dim Vploc==3, degree Vploc==10 o7 = (true, true) o7 : Sequence |
i8 : B=ring Vhaff o8 = B o8 : PolynomialRing |
i9 : L=ideal(sum((gens B)_{0,3,5}),sum((gens B)_{1,6,8}),sum((gens B)_{2,7,9})) o9 = ideal (a + a + a , a + a + a , a + 2,2,2 2,3,3 2,4,4 2,2,3 3,3,3 3,4,4 2,2,4 ------------------------------------------------------------------------ a + a ) 3,3,4 4,4,4 o9 : Ideal of B |
i10 : betti(VpsecL=ideal mingens(Vpsec+L)) 0 1 o10 = total: 1 9 0: 1 3 1: . 6 o10 : BettiTally |
i11 : VpsecL+Vploc==VpsecL o11 = true |
i12 : dim VpsecL==dim Vploc, degree VpsecL==degree Vploc o12 = (true, true) o12 : Sequence |
i13 : betti (Vploc1red=radical Vploc1) 0 1 o13 = total: 1 18 0: 1 3 1: . 15 o13 : BettiTally |
i14 : Vploc1red+VpsecL==Vploc1red o14 = true |
i15 : dim Vploc1==2, degree Vploc1red==6, genus Vploc1red==0 o15 = (true, true, true) o15 : Sequence |
i16 : dim Vploc2==0, degree Vploc2==1 o16 = (true, true) o16 : Sequence |
i17 : n=6 o17 = 6 |
i18 : (Vhaff,Vpsec)=claimsOfTable1(n); |
i19 : dim Vhaff, degree Vhaff o19 = (15, 12) o19 : Sequence |
i20 : betti res Vhaff 0 1 2 3 4 5 o20 = total: 1 10 16 16 10 1 0: 1 . . . . . 1: . 10 16 . . . 2: . . . 16 10 . 3: . . . . . 1 o20 : BettiTally |
i21 : vertex=ideal mingens ideal jacobian Vhaff o21 = ideal (3a - a , a - 3a , a , a - a , 4,4,5 5,5,5 4,4,4 4,5,5 3,4,5 3,4,4 3,5,5 ----------------------------------------------------------------------- 3a - a , a - a , a - 3a , a , a - 3,3,5 5,5,5 3,3,4 4,5,5 3,3,3 3,5,5 2,4,5 2,4,4 ----------------------------------------------------------------------- a , a , a , a - a , 3a - a , a - 2,5,5 2,3,5 2,3,4 2,3,3 2,5,5 2,2,5 5,5,5 2,2,4 ----------------------------------------------------------------------- a , a - a , a - 3a ) 4,5,5 2,2,3 3,5,5 2,2,2 2,5,5 o21 : Ideal of QQ[a , a , a , a , a , a , a , a , a , a , a , a , a , a , a , a , a , a , a , a ] 2,2,2 2,2,3 2,2,4 2,2,5 2,3,3 2,3,4 2,3,5 2,4,4 2,4,5 2,5,5 3,3,3 3,3,4 3,3,5 3,4,4 3,4,5 3,5,5 4,4,4 4,4,5 4,5,5 5,5,5 |
i22 : codim vertex o22 = 16 |