Type "help" to see useful commands

i1 : -- Example 7c: the genus 7 balanced K3 carpet
     load "K3Carpets.m2";

i2 : S=QQ[X_14, X_15, X_23, X_25, X_35, X_1245, X_1345, X_2345];

i3 : X_0=0;

i4 : X_12=X_1345;

i5 : X_13=X_2345;

i6 : X_24=2*X_15;

i7 : X_34=1/2*X_25;

i8 : X_45=0;

i9 : X_1234=0;

i10 : X_1235=0;

i11 : LK3Carpet7 = {X_0, X_12-X_1345, X_13-X_2345, X_24-2*X_15, X_34-1/2*X_25, X_45, X_1234, X_1235};

i12 : all(LK3Carpet7, i -> i==0)

o12 = true

i13 : PcapOG510 = {X_0*X_2345-X_23*X_45+X_24*X_35-X_25*X_34,
      X_12*X_1345-X_13*X_1245+X_14*X_1235-X_15*X_1234,
      X_0*X_1345-X_13*X_45+X_14*X_35-X_15*X_34,
      X_12*X_2345-X_23*X_1245+X_24*X_1235-X_25*X_1234,
      X_0*X_1245-X_12*X_45+X_14*X_25-X_15*X_24,
      X_13*X_2345-X_23*X_1345+X_34*X_1235-X_35*X_1234,
      X_0*X_1235-X_12*X_35+X_13*X_25-X_15*X_23,
      X_14*X_2345-X_24*X_1345+X_34*X_1245-X_45*X_1234,
      X_0*X_1234-X_12*X_34+X_13*X_24-X_14*X_23,
      X_15*X_2345-X_25*X_1345+X_35*X_1245-X_45*X_1235};

i14 : K3Carpet7 = carpet(3,3,Characteristic=>0);

o14 : Ideal of QQ[x ..x , y ..y ]
                   0   3   0   3

i15 : R=ring(K3Carpet7);

i16 : F = map(R,S,{R_0,R_1,R_7,2*R_2,R_3,R_4,R_5,R_6});

o16 : RingMap R <-- S

i17 : F(ideal(PcapOG510))==ideal(K3Carpet7)

o17 = true

i18 :