-- -*- M2-comint -*- hash: 9899737090554129988

i1 : kk=QQ;

i2 : U=kk[y0,y1,y2,y3,y4,y5,y6,y7];

i3 : P5=ideal(y0,y1);--a P5

o3 : Ideal of U

i4 : P3a=ideal(y0,y1,y2,y3);-- a P3

o4 : Ideal of U

i5 : P3b=ideal(y0,y1,y2,y4);-- another P3

o5 : Ideal of U

i6 : P4a=ideal(y0,y2,y3);-- a P4

o6 : Ideal of U

i7 : P4b=ideal(y1,y2,y4);-- a P4

o7 : Ideal of U

i8 : X2=ideal(y0,y1,y2,y3*y4);--a reducible quadric

o8 : Ideal of U

i9 : CI1133=P5+ideal(random(3,X2),random(3,X2));--a complete intersection (1,1,3,3) that contain X2.

o9 : Ideal of U

i10 : X7=CI1133:X2;  -- a 3-fold of degree 7, linked (1,1,3,3) to X2

o10 : Ideal of U

i11 : (dim X7, degree X7)

o11 = (4, 7)

o11 : Sequence

i12 : Z3a=P3a+X7; -- a cubic surface

o12 : Ideal of U

i13 : Z4a=intersect(Z3a,P3b);-- the union of Z3a and P3b

o13 : Ideal of U

i14 : X4a=P4a+ideal(random(4,Z4a));-- a quartic 3-fold in P4 that contains a plane in P3b and the cubic surface Z3

o14 : Ideal of U

i15 : (dim X4a, degree X4a)

o15 = (4, 4)

o15 : Sequence

i16 : Z3b=X7+P3b;-- a cubic surface

o16 : Ideal of U

i17 : Z4b=intersect(Z3b,P3a);-- the union of Z3b and P3b

o17 : Ideal of U

i18 : X4b=P4b+ideal(random(4,Z4b));-- a quartic 3-fold in P4 that contains a plane in P3b and the cubic surface Z3

o18 : Ideal of U

i19 : (dim X4b, degree X4b)

o19 = (4, 4)

o19 : Sequence

i20 : X15=intersect(X7,X4a,X4b);--a 3-fold of degree 15, with betti table of type [562], with three components, X7 of degree 7, and X4a and X4b of degree 4.

o20 : Ideal of U

i21 : (dim X15, degree X15)

o21 = (4, 15)

o21 : Sequence

i22 : betti res X15

             0 1  2 3 4
o22 = total: 1 9 16 9 1
          0: 1 .  . . .
          1: . 5  6 2 .
          2: . 2  4 2 .
          3: . 2  6 5 .
          4: . .  . . 1

o22 : BettiTally

i23 : 
