-- -*- M2-comint -*- hash: 9314782559859218348

i1 : FF = ZZ/32003;

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

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

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

i5 : V = spohnIdeal(PR, X);

o5 : Ideal of PR

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

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

i8 : I1 = intersectWithCImodel(V, G1);

o8 : Ideal of PR

i9 : I2 = intersectWithCImodel(V, G2);

o9 : Ideal of PR

i10 : FF = ZZ/32003;

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

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

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

i14 : V = spohnIdeal(PR, X);

o14 : Ideal of PR

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

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

i17 : I1 = intersectWithCImodel(V, G1, {John,Matthew,Sarah});

o17 : Ideal of PR

i18 : I2 = intersectWithCImodel(V, G2, {a,b,c});

o18 : Ideal of PR

i19 : FF = ZZ/32003;

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

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

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

i23 : V = spohnIdeal(PR, X);

o23 : Ideal of PR

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

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

i26 : I1 = intersectWithCImodel(V, G);

o26 : Ideal of PR

i27 : I2 = intersectWithCImodel(V, L);

o27 : Ideal of PR

i28 : I1 == I2

o28 = true

i29 : FF = ZZ/32003;

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

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

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

i33 : V = spohnIdeal(PR, X);

o33 : Ideal of PR

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

i35 : I = intersectWithCImodel(V, 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

o35 : Ideal of PR

i36 : 
