Macaulay2 » Documentation
Packages » Schubert2 :: intersectionRing(AbstractVariety)
next | previous | forward | backward | up | index | toc

intersectionRing(AbstractVariety) -- get the intersection ring of an abstract variety

Description

i1 : intersectionRing abstractProjectiveSpace' 3

                      QQ[][H   ..H   , h]
                            1,1   1,3
o1 = ----------------------------------------------------
     (- H    - h, - H    - H   h, - H    - H   h, -H   h)
         1,1         1,2    1,1      1,3    1,2     1,3

o1 : QuotientRing

The variables may not have been assigned their values in the intersection ring yet:

i2 : H_(1,1)

o2 = -h

                      QQ[][H   ..H   , h]
                            1,1   1,3
o2 : ----------------------------------------------------
     (- H    - h, - H    - H   h, - H    - H   h, -H   h)
         1,1         1,2    1,1      1,3    1,2     1,3

The function use will arrange for the assignment of values:

i3 : use ooo

                      QQ[][H   ..H   , h]
                            1,1   1,3
o3 = ----------------------------------------------------
     (- H    - h, - H    - H   h, - H    - H   h, -H   h)
         1,1         1,2    1,1      1,3    1,2     1,3

o3 : QuotientRing
 
i4 : H_(1,1), H_(1,2), H_(1,3)

           2    3
o4 = (-h, h , -h )

o4 : Sequence

See also

Ways to use this method:

The source of this document is in Schubert2.m2:1857:0.