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 |