next | previous | forward | backward | up | top | index | toc | Macaulay2 website
K3Carpets :: smallDiagonal

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

Synopsis

Description

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

See also

Ways to use smallDiagonal :

For the programmer

The object smallDiagonal is a method function.