-- -*- M2-comint -*- {* hash: -1086713501 *}
i1 : Grassmannian(1,3)
o1 = ideal(p p - p p + p p )
1,2 0,3 0,2 1,3 0,1 2,3
o1 : Ideal of ZZ[p , p , p , p , p , p ]
0,1 0,2 1,2 0,3 1,3 2,3
i2 : J = Grassmannian(2,5, CoefficientRing => ZZ/31, Variable => T)
o2 = ideal (T T - T T + T T , T T -
2,3,5 1,4,5 1,3,5 2,4,5 1,2,5 3,4,5 2,3,4 1,4,5
------------------------------------------------------------------------
T T + T T , T T - T T + T T ,
1,3,4 2,4,5 1,2,4 3,4,5 2,3,5 0,4,5 0,3,5 2,4,5 0,2,5 3,4,5
------------------------------------------------------------------------
T T - T T + T T , T T - T T
1,3,5 0,4,5 0,3,5 1,4,5 0,1,5 3,4,5 1,2,5 0,4,5 0,2,5 1,4,5
------------------------------------------------------------------------
+ T T , T T - T T + T T , T T
0,1,5 2,4,5 2,3,4 0,4,5 0,3,4 2,4,5 0,2,4 3,4,5 1,3,4 0,4,5
------------------------------------------------------------------------
- T T + T T , T T - T T +
0,3,4 1,4,5 0,1,4 3,4,5 1,2,4 0,4,5 0,2,4 1,4,5
------------------------------------------------------------------------
T T , T T - T T + T T - T T ,
0,1,4 2,4,5 1,2,3 0,4,5 0,2,3 1,4,5 0,1,3 2,4,5 0,1,2 3,4,5
------------------------------------------------------------------------
T T - T T + T T , T T - T T
2,3,4 1,3,5 1,3,4 2,3,5 1,2,3 3,4,5 1,2,5 0,3,5 0,2,5 1,3,5
------------------------------------------------------------------------
+ T T , T T - T T + T T , T T
0,1,5 2,3,5 2,3,4 0,3,5 0,3,4 2,3,5 0,2,3 3,4,5 1,3,4 0,3,5
------------------------------------------------------------------------
- T T + T T , T T - T T +
0,3,4 1,3,5 0,1,3 3,4,5 1,2,4 0,3,5 0,2,4 1,3,5
------------------------------------------------------------------------
T T + T T , T T - T T + T T ,
0,1,4 2,3,5 0,1,2 3,4,5 1,2,3 0,3,5 0,2,3 1,3,5 0,1,3 2,3,5
------------------------------------------------------------------------
T T - T T + T T , T T - T T
2,3,4 1,2,5 1,2,4 2,3,5 1,2,3 2,4,5 1,3,4 1,2,5 1,2,4 1,3,5
------------------------------------------------------------------------
+ T T , T T - T T + T T +
1,2,3 1,4,5 0,3,4 1,2,5 0,2,4 1,3,5 0,1,4 2,3,5
------------------------------------------------------------------------
T T - T T + T T , T T - T T
0,2,3 1,4,5 0,1,3 2,4,5 0,1,2 3,4,5 2,3,4 0,2,5 0,2,4 2,3,5
------------------------------------------------------------------------
+ T T , T T - T T + T T +
0,2,3 2,4,5 1,3,4 0,2,5 0,2,4 1,3,5 0,2,3 1,4,5
------------------------------------------------------------------------
T T , T T - T T + T T , T T -
0,1,2 3,4,5 0,3,4 0,2,5 0,2,4 0,3,5 0,2,3 0,4,5 1,2,4 0,2,5
------------------------------------------------------------------------
T T + T T , T T - T T + T T ,
0,2,4 1,2,5 0,1,2 2,4,5 1,2,3 0,2,5 0,2,3 1,2,5 0,1,2 2,3,5
------------------------------------------------------------------------
T T - T T + T T - T T , T T
2,3,4 0,1,5 0,1,4 2,3,5 0,1,3 2,4,5 0,1,2 3,4,5 1,3,4 0,1,5
------------------------------------------------------------------------
- T T + T T , T T - T T +
0,1,4 1,3,5 0,1,3 1,4,5 0,3,4 0,1,5 0,1,4 0,3,5
------------------------------------------------------------------------
T T , T T - T T + T T , T T -
0,1,3 0,4,5 1,2,4 0,1,5 0,1,4 1,2,5 0,1,2 1,4,5 0,2,4 0,1,5
------------------------------------------------------------------------
T T + T T , T T - T T + T T ,
0,1,4 0,2,5 0,1,2 0,4,5 1,2,3 0,1,5 0,1,3 1,2,5 0,1,2 1,3,5
------------------------------------------------------------------------
T T - T T + T T , T T - T T
0,2,3 0,1,5 0,1,3 0,2,5 0,1,2 0,3,5 1,2,4 0,3,4 0,2,4 1,3,4
------------------------------------------------------------------------
+ T T , T T - T T + T T , T T
0,1,4 2,3,4 1,2,3 0,3,4 0,2,3 1,3,4 0,1,3 2,3,4 1,2,3 0,2,4
------------------------------------------------------------------------
- T T + T T , T T - T T +
0,2,3 1,2,4 0,1,2 2,3,4 1,2,3 0,1,4 0,1,3 1,2,4
------------------------------------------------------------------------
T T , T T - T T + T T )
0,1,2 1,3,4 0,2,3 0,1,4 0,1,3 0,2,4 0,1,2 0,3,4
ZZ
o2 : Ideal of --[T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T ]
31 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 0,1,5 0,2,5 1,2,5 0,3,5 1,3,5 2,3,5 0,4,5 1,4,5 2,4,5 3,4,5
i3 : T_(0,2,3)
o3 = T
0,2,3
o3 : IndexedVariable
i4 : use ring J
ZZ
o4 = --[T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T ]
31 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 0,1,5 0,2,5 1,2,5 0,3,5 1,3,5 2,3,5 0,4,5 1,4,5 2,4,5 3,4,5
o4 : PolynomialRing
i5 : T_(0,2,3)
o5 = T
0,2,3
ZZ
o5 : --[T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T , T ]
31 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 0,1,5 0,2,5 1,2,5 0,3,5 1,3,5 2,3,5 0,4,5 1,4,5 2,4,5 3,4,5
i6 :
