i1 : intersectionRing PP'^3 QQ[][H , H , H , h] 1,1 1,2 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 |
i2 : H_(1,1) o2 = -h QQ[][H , H , H , h] 1,1 1,2 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 |
i3 : use ooo QQ[][H , H , H , h] 1,1 1,2 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 |