-- -*- M2-comint -*- hash: 8521315337815033379

i1 : FF = ZZ/32003;

i2 : d = {2,2,2};

i3 : X = randomGame(d, CoefficientRing => FF);

i4 : PR = probabilityRing(d, CoefficientRing => FF);

i5 : G1 = graph ({}, Singletons => {1,2,3});

i6 : G2 = graph ({{1,2}}, Singletons => {3});

i7 : I1 = spohnCI(PR,X,G1);

o7 : Ideal of PR

i8 : I2 = spohnCI(PR,X,G2);

o8 : Ideal of PR

i9 : FF = ZZ/32003;

i10 : d = {2,3,2};

i11 : X = randomGame(d, CoefficientRing => FF);

i12 : PR = probabilityRing(d, CoefficientRing => FF);

i13 : G1 = graph {{John,Matthew},{Matthew,Sarah}};

i14 : G2 = graph {{a,b},{b,c},{c,a}};

i15 : I1 = spohnCI(PR,X,G1, {John,Matthew,Sarah});

o15 : Ideal of PR

i16 : I2 = spohnCI(PR,X,G2, {a,b,c});

o16 : Ideal of PR

i17 : FF = ZZ/32003;

i18 : d = {2,2,2};

i19 : X = randomGame(d, CoefficientRing => FF);

i20 : PR = probabilityRing(d, CoefficientRing => FF);

i21 : G = graph ({{1,2}},Singletons => {3});

i22 : L = {{{1,2},{3},{}}};

i23 : I1 = spohnCI(PR,X,G);

o23 : Ideal of PR

i24 : I2 = spohnCI(PR,X,L);

o24 : Ideal of PR

i25 : I1 == I2

o25 = true

i26 : FF = ZZ/32003;

i27 : d = {2,3,2};

i28 : X = randomGame(d, CoefficientRing => FF);

i29 : PR = probabilityRing(d, CoefficientRing => FF);

i30 : L = {{{1,2},{3},{}}};

i31 : I = spohnCI(PR, X, L, Verbose=>true);
Completed step 1 of saturating CI ideal
Completed step 1 of saturating input ideal
Completed step 2 of saturating CI ideal
Completed step 2 of saturating input ideal
Completed step 3 of saturating CI ideal
Completed step 3 of saturating input ideal
Completed step 4 of saturating CI ideal
Completed step 4 of saturating input ideal
Completed step 5 of saturating CI ideal
Completed step 5 of saturating input ideal
Completed step 6 of saturating CI ideal
Completed step 6 of saturating input ideal
Completed step 7 of saturating CI ideal
Completed step 7 of saturating input ideal
Completed step 8 of saturating CI ideal
Completed step 8 of saturating input ideal
Completed step 9 of saturating CI ideal
Completed step 9 of saturating input ideal
Completed step 10 of saturating CI ideal
Completed step 10 of saturating input ideal
Completed step 11 of saturating CI ideal
Completed step 11 of saturating input ideal
Completed step 12 of saturating CI ideal
Completed step 12 of saturating input ideal
Completed step 13 of saturating CI ideal
Completed step 13 of saturating input ideal
Completed step 1 of saturating sum
Completed step 2 of saturating sum
Completed step 3 of saturating sum
Completed step 4 of saturating sum
Completed step 5 of saturating sum
Completed step 6 of saturating sum
Completed step 7 of saturating sum
Completed step 8 of saturating sum
Completed step 9 of saturating sum
Completed step 10 of saturating sum
Completed step 11 of saturating sum
Completed step 12 of saturating sum

o31 : Ideal of PR

i32 : 
