setupRings -- setup the Cox ring of a product of t projective space, and its exterior dual

i1 : n={1,1}

o1 = {1, 1}

o1 : List

i2 : kk=ZZ/101 -- the ground field

o2 = kk

o2 : QuotientRing

i3 : (S,E)=setupRings(ZZ/101,n)

o3 = (S, E)

o3 : Sequence

i4 : (coefficientRing S) === (coefficientRing E)

o4 = true

i5 : trim (ideal vars S)^2

             2                                   2                       
o5 = ideal (x   , x   x   , x   x   , x   x   , x   , x   x   , x   x   ,
             1,1   1,0 1,1   0,1 1,1   0,0 1,1   1,0   0,1 1,0   0,0 1,0 
     ------------------------------------------------------------------------
      2               2
     x   , x   x   , x   )
      0,1   0,0 0,1   0,0

o5 : Ideal of S

i6 : trim (ideal vars E)^2

o6 = ideal (e   e   , e   e   , e   e   , e   e   , e   e   , e   e   )
             1,0 1,1   0,1 1,1   0,0 1,1   0,1 1,0   0,0 1,0   0,0 0,1

o6 : Ideal of E