Type "help" to see useful commands

i1 : -- Example 8a: the genus 8 tangent developable
     load "MukaiModels.m2"

i2 : S = QQ[x_12,x_13,x_14,x_15,x_16,x_26,x_36,x_46,x_56];

i3 : x_23 = (5/3)*x_14;

i4 : x_24 = 5*x_15;

i5 : x_25 = 15*x_16;

i6 : x_34 = 20*x_16;

i7 : x_35 = 5*x_26;

i8 : x_45 = (5/3)*x_36;

i9 : 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};

i10 : all(LTD8, i -> i==0)

o10 = true

i11 : PcapGr26 = {x_12*x_34-x_13*x_24+x_14*x_23,
      x_12*x_35-x_13*x_25+x_15*x_23,
      x_12*x_36-x_13*x_26+x_16*x_23,
      x_12*x_45-x_14*x_25+x_15*x_24,
      x_12*x_46-x_14*x_26+x_16*x_24,
      x_12*x_56-x_15*x_26+x_16*x_25,
      x_13*x_45-x_14*x_35+x_15*x_34,
      x_13*x_46-x_14*x_36+x_16*x_34,
      x_13*x_56-x_15*x_36+x_16*x_35,
      x_14*x_56-x_15*x_46+x_16*x_45,
      x_23*x_45-x_24*x_35+x_25*x_34,
      x_23*x_46-x_24*x_36+x_26*x_34,
      x_23*x_56-x_25*x_36+x_26*x_35,
      x_24*x_56-x_25*x_46+x_26*x_45,
      x_34*x_56-x_35*x_46+x_36*x_45};

i12 : R=QQ[y_0..y_8];

i13 : TD8 = schreyerTangentDevelopableQuadrics(gens R);

i14 : F = map(R,S,{y_0, 4*y_1, 6*y_2, 4*y_3, y_4, 4*y_5, 6*y_6, 4*y_7, y_8});

o14 : RingMap R <-- S

i15 : F(ideal(PcapGr26))==ideal(TD8)

o15 = true

i16 :