For example, the ideal of the Schubert variety indexed by {1,2,4} in the Grassmannian of projective planes in P4 is displayed in the following example.
i1 : I = Schubert(2,4,{1,2,4},CoefficientRing => QQ) o1 = ideal (p , p , p , p p - p p , p p 2,3,4 1,3,4 0,3,4 1,2,3 0,2,4 0,2,3 1,2,4 1,2,3 0,1,4 ------------------------------------------------------------------------ - p p , p p - p p ) 0,1,3 1,2,4 0,2,3 0,1,4 0,1,3 0,2,4 o1 : Ideal of QQ[p , p , p , p , p , p , p , p , p , p ] 0,1,2 0,1,3 0,2,3 1,2,3 0,1,4 0,2,4 1,2,4 0,3,4 1,3,4 2,3,4 |
i2 : R = ring I; |
i3 : C = res I 1 6 14 16 9 2 o3 = R <-- R <-- R <-- R <-- R <-- R <-- 0 0 1 2 3 4 5 6 o3 : ChainComplex |
i4 : betti C 0 1 2 3 4 5 o4 = total: 1 6 14 16 9 2 -5: . . . . . 2 -4: . . . . 9 . -3: . . . 16 . . -2: . . 14 . . . -1: . 6 . . . . 0: 1 . . . . . o4 : BettiTally |