-- -*- M2-comint -*- hash: 8151718415792494263

i1 : P = productOfProjectiveSpaces{1,2}

o1 = P

o1 : PolynomialRing

i2 : M1 = P^1

      1
o2 = P

o2 : P-module, free

i3 : multiHilbertPolynomial M1

     1   2   3       1 2        3
o3 = -s s  + -s s  + -s  + s  + -s  + 1
     2 0 1   2 0 1   2 1    0   2 1

o3 : QQ[s ..s ]
         0   1

i4 : 
