NC.SetFp(); -- set default Fp=F2
NC.SetX("xyz");
F1 := [[1,"xy"], [1,"z"]];
F2 := [[1,"yz"], [1, "x"]];
F3 := [[1,"zx"], [1,"y"]];
G1 := [F1, F2]; -- ideal generated by {xy+z, yz+x}
G2 := [F2, F3]; -- ideal generated by {yz+x, zx+y}
NC.Intersection(G1, G2, 20, 25, 1);
[[[1, "yzyz"], [1, "zyzy"]], [[1, "zzyzyy"], [1, "yyzy"], [1, "zyzz"], [1, "yz"]],
[[1, "yzzyzy"], [1, "yzyy"], [1, "zzyz"], [1, "zy"]], [[1, "x"], [1, "yz"]]]
-------------------------------
Note the following information printed by the server shows it is a partial Groebner basis.
===== 25th Loop =====
Number of elements in (partial) Groebner basis G: 22 -- partial Groebner basis before being interreduced
Number of S-elements: 25/86 -- 25 S-elements have been check, and 61 (=86-25) unchecked S-elements
|