smallDiagonal -- Ideal of the small diagonal in (P^1)^n

i1 : smallDiagonal 3

o1 = ideal (- x   x    + x   x   , - x   x    + x   x   , - x   x    +
               1,0 0,1    0,0 1,1     1,0 0,2    0,0 1,2     1,1 0,2  
     ------------------------------------------------------------------------
     x   x   )
      0,1 1,2

                ZZ
o1 : Ideal of -----[x   , x   , x   , x   , x   , x   ]
              32003  0,0   1,0   0,1   1,1   0,2   1,2

i2 : S = productOfProjectiveSpaces 3

o2 = S

o2 : PolynomialRing

i3 : smallDiagonal S

o3 = ideal (- x   x    + x   x   , - x   x    + x   x   , - x   x    +
               1,0 0,1    0,0 1,1     1,0 0,2    0,0 1,2     1,1 0,2  
     ------------------------------------------------------------------------
     x   x   )
      0,1 1,2

o3 : Ideal of S