-- -*- M2-comint -*- hash: 2003240345154419343

i1 : P = productOfProjectiveSpaces {1,1}

o1 = P

o1 : PolynomialRing

i2 : Delta = smallDiagonal P

o2 = ideal(- x   x    + x   x   )
              0,1 1,0    0,0 1,1

o2 : Ideal of P

i3 : M = P^1/(Delta^2)

o3 = cokernel | x_(0,1)^2x_(1,0)^2-2x_(0,0)x_(0,1)x_(1,0)x_(1,1)+x_(0,0)^2x_(1,1)^2 |

                            1
o3 : P-module, quotient of P

i4 : correspondencePolynomial (M,{1,1})

o4 = 4s

o4 : QQ[s]

i5 : correspondencePolynomial (M,{2,2})

o5 = 8s

o5 : QQ[s]

i6 : 
