Type "help" to see useful commands

i1 : load "V30100inW9W2Stdstar.m2";

i2 : load "V00030inW9W2Stdstar.m2";

i3 : load "V03000inS2V30100.m2";

i4 : load "V00000inS3V00030.m2";

i5 : load "V00000inS3V03000.m2";

i6 : load "V00000inV00030otimesV03000.m2";

i7 : load "V00000inV11011otimesV11011.m2";

i8 : load "V11011inW9W2Stdstar.m2";

i9 : 
     
     F82a = (M) -> (
         s9 := subsets(apply(15, i -> i),9);
         p := apply(s9, s -> det(M_s));
         V00030 := V00030inW9W2Stdstar(p);
         first V00000inS3V00030(V00030)
     );

i10 : 
      
      
      F82b = (M) -> (
          s9 := subsets(apply(15, i -> i),9);
          p := apply(s9, s -> det(M_s));
          V30100 := V30100inW9W2Stdstar(p);
          V03000 := V03000inS2V30100(V30100);
          first V00000inS3V03000(V03000)
      );

i11 : 
      
      
      F82c = (M) -> (
          s9 := subsets(apply(15, i -> i),9);
          p := apply(s9, s -> det(M_s));
          V30100 := V30100inW9W2Stdstar(p);
          V00030 := V00030inW9W2Stdstar(p);
          V03000 := V03000inS2V30100(V30100);
          first V00000inV00030otimesV03000(V00030,V03000)
      );

i12 : 
      
      
      F82d = (M) -> (
          s9 := subsets(apply(15, i -> i),9);
          p := apply(s9, s -> det(M_s));
          V11011 := V11011inW9W2Stdstar(p);
          V00000inV11011otimesV11011(V11011,V11011)
      );

i13 : 
      matrixFromHyperplaneEquations = (L) -> (
          R:=ring(L_0);
          eqnMatrix:=matrix apply(L, f -> apply(numgens R, i -> coefficient(R_i,f)));
          transpose gens ker eqnMatrix
      );

i14 : 
      
      R = QQ[x_12,x_13,x_23,x_14,x_24,x_34,x_15,x_25,x_35,x_45,x_16,x_26,x_36,x_46,x_56];

i15 : 
      LTD8 = {x_23-(5/3)*x_14, x_24-5*x_15, x_25-15*x_16, x_34-20*x_16, x_35-5*x_26, x_45-(5/3)*x_36};

i16 : MTD8 = matrixFromHyperplaneEquations LTD8;

               9       15
o16 : Matrix QQ  <-- QQ

i17 : LNonRedSurf8 = {x_12-x_34, x_12-x_13, x_14-x_45, x_16-x_23, x_24-x_35, x_26-x_36};

i18 : MNonRedSurf8 = matrixFromHyperplaneEquations LNonRedSurf8;

               9       15
o18 : Matrix QQ  <-- QQ

i19 : 
      F82a(MTD8)

o19 = 587343052800000000000

o19 : QQ

i20 : F82a(MNonRedSurf8)

o20 = 0

o20 : QQ

i21 : 
      F82b(MTD8)

o21 = 5082118517030257085644800000000000000000000000000000000

o21 : QQ

i22 : F82b(MNonRedSurf8)

o22 = 0

o22 : QQ

i23 : 
      F82c(MTD8)

o23 = -359747619840000000000000000

o23 : QQ

i24 : F82c(MNonRedSurf8)

o24 = 0

o24 : QQ

i25 : 
      F82d(MTD8)

        20234375
o25 = - --------
           81

o25 : QQ

i26 : F82d(MNonRedSurf8)

o26 = -1

o26 : QQ

i27 :