-- -*- M2-comint -*- hash: 2460799537151743447

i1 : P5 = PP_(ZZ/65521)^5;

o1 : ProjectiveVariety, PP^5

i2 : C = random({{2},3:{1}},0_P5);

o2 : ProjectiveVariety, curve in PP^5

i3 : X = random({3:{2}},C);

o3 : ProjectiveVariety, surface in PP^5

i4 : H = random(1,0_X); -- it's interpreted as X * H

o4 : ProjectiveVariety, hypersurface in PP^5

i5 : D = tally {H, H, C}

o5 = Tally{C => 1}
           H => 2

o5 : Tally

i6 : phi = rationalMap(X,D)

o6 = phi

o6 : MultirationalMap (rational map from X to PP^20)

i7 : assert(phi == rationalMap(X,tally {X*H, X*H, C}))

i8 : 
