Type "help" to see useful commands

i1 : -- Example 9c: the genus 9 balanced K3 carpet
     loadPackage "K3Carpets";

i2 : S = QQ[z_1,z_2,z_4,z_5,z_6,z_7,z_8,z_10,z_11,z_12];

i3 : z_0 = 0;

i4 : z_3 = -1/2*z_4;

i5 : z_9 = -1/2*z_10;

i6 : z_13 = 0;

i7 : LK3Carpet9 = {z_0,z_13,z_3+1/2*z_4,z_9+1/2*z_10};

i8 : all(LK3Carpet9, i -> i==0)

o8 = true

i9 : I1 = {-z_5^2+z_4*z_6-z_0*z_7, z_3*z_5-z_2*z_6-z_0*z_8, -z_3*z_4+z_2*z_5-z_0*z_9, -z_3^2+z_1*z_6-z_0*z_10, z_2*z_3-z_1*z_5-z_0*z_11, -z_2^2+z_1*z_4-z_0*z_12};

i10 : I2 = {-z_11^2+z_10*z_12-z_1*z_13, z_9*z_11-z_8*z_12-z_2*z_13, -z_9*z_10+z_8*z_11-z_3*z_13, -z_9^2+z_7*z_12-z_4*z_13, z_8*z_9-z_7*z_11-z_5*z_13, -z_8^2+z_7*z_10-z_6*z_13};

i11 : I3 = {z_1*z_7+z_2*z_8+z_3*z_9-z_0*z_13, z_1*z_8+z_2*z_10+z_3*z_11, z_1*z_9+z_2*z_11+z_3*z_12, z_2*z_7+z_4*z_8+z_5*z_9, z_2*z_8+z_4*z_10+z_5*z_11-z_0*z_13, z_2*z_9+z_4*z_11+z_5*z_12, z_3*z_7+z_5*z_8+z_6*z_9, z_3*z_8+z_5*z_10+z_6*z_11, z_3*z_9+z_5*z_11+z_6*z_12-z_0*z_13};

i12 : PcapSpGr36 = flatten {I1,I2,I3};

i13 : K3Carpet9 = carpet(4,4,Characteristic=>0);

o13 : Ideal of QQ[x ..x , y ..y ]
                   0   4   0   4

i14 : R=ring(K3Carpet9);

i15 : F = map(R,S,{R_5, R_6, R_7, -(1/2)*R_8, (1/4)*R_9, (1/4)*R_4, -(1/2)*R_3, R_2, R_1, R_0});

o15 : RingMap R <-- S

i16 : F(ideal(PcapSpGr36))==ideal(K3Carpet9)

o16 = true

i17 :