NC.SetX("xyz");
F1:=["yxy","zyz"];
F2:=["xyx","zxy"];
F3:=["zxz","yzx"];
F4:=["xxx","yyy","zzz","xyz"];
G:=[F1,F2,F3,F4];
NC.GTruncatedGB(G,6);
[["yzx", "zxz"], ["yxy", "zyz"], ["xyx", "zxy"], ["xxx", "xyz", "yyy", "zzz"],
["zxzy", "zzxz"], ["xzyz", "zxyy"], ["xxyz", "xyyy", "xzxz", "xzzz", "yyyx", "zzzx"],
["zzxyy", "zzxzz"], ["yzzxz", "zxzzy"], ["yzzxy", "zzxzx"], ["yzyyy", "yzzzz", "zxzxx", "zzxzz"],
["yxzxz", "zyzzx"], ["xzzxz", "zxyyx"], ["xyyyy", "xyzzz", "zxyyz", "zzzxy"],
["xxzxz", "xyyyx", "xzxzx", "xzzzx", "yyyxx", "zzzxx"], ["xxzxy", "xyzyx", "yyyyx", "zzzyx"],
["xxyyy", "xxzzz", "xyzyz", "xzxzx", "yyyxx", "yyyyz", "zzzxx", "zzzyz"],
["zxzzyz", "zzxzxy"], ["yzzzxz", "zxzzyy"], ["yzzzxy", "zzxzxx"], ["xzzzxz", "zxyzyz"],
["xyyzyz", "xzxyyx", "xzxzxy", "xzzzxy", "yyyxxy", "zzzxxy"],
["xxzzzy", "xyyyzz", "xyzyzy", "xzxyyz", "xzxzxy", "xzxzzz", "xzzzxy",
"xzzzzz", "yyyxxy", "yyyxzz", "yyyyzy", "zzzxxy", "zzzxzz", "zzzyzy"],
["xxzzxy", "xyzyxx", "yyyyxx", "zzzyxx"]]
-------------------------------
|