NC.SetX("ab");
NC.SetOrdering("LLEX");
F1:=["aa", ""];
F2:=["bbb", ""];
F3:=["abababbabbabababbabb", ""];
G:=[F1,F2,F3];
RGB:=NC.GReducedGB(G);
RGB;
[["aa", ""], ["bbb", ""], ["abbabbabab", "bbabbababa"],
["abbabababb", "babbabbaba"], ["ababbabbab", "bbabababba"], ["abababbabb", "bababbabba"],
["abababbababab", "babababbababa"], ["ababababbabab", "bababbabababa"], ["abbababababbab", "babbababababba"],
["ababbababababb", "bbababababbaba"], ["abababbababbabab", "bababbababbababa"], ["babbabbabbabbabbab", "abbababababababba"],
["abbabbabbabbabbaba", "bbabbababababababb"], ["abbababbababbababa", "bababbabababababab"], ["abbabababababababb", "babbabababababbaba"],
["ababbabababababbab", "bbabababababababba"], ["bbabbababbababbabab", "ababbababababababa"], ["bbabbababababababba", "abbabbabbabbabbab"],
["bababbababbababbabb", "abababababababbaba"], ["bababbababababababa", "abbababbababbabab"], ["ababbababbababbabba", "bbabababababababbab"],
["bbabababababababbaba", "ababbababbababbabb"], ["abbababababababababbab", "babbababababababababba"],
["ababbababbabababababab", "bababbababbabababababa"], ["ababbababababababababb", "bbababababababababbaba"],
["babbababbababbababbabab", "abbabababababababababa"], ["bababbababbababbababbab", "ababababababababababba"],
["ababbababbababbababbaba", "bbababababababababababb"], ["ababbababababababababab", "babbabababababababababa"],
["ababababababababababbab", "babababababababababbaba"], ["bbabbabababababababababa", "abbababbababbababbabab"],
["bbababababababababababba", "ababbababbababbababbab"], ["abbababababababababababb", "babbababbababbababbaba"],
["abababababababababababab", "babababababababababababa"], ["abbababababababababababab", "babababababababababababba"]]
-------------------------------
NC.GIsGB(RGB);
True
-------------------------------
Len(RGB);
35
-------------------------------
GB:=NC.GGB(G);
Len(GB);
62
-------------------------------
|