up previous next
NC.GIsGB

Checks whether a list of polynomials in a free group ring over F2 is a Groebner basis of the ideal generated by polynomials.
Syntax
          
NC.GIsGB(G:LIST):INT

          

Description
Please note: The function(s) explained on this page is/are using the ApCoCoAServer. You will have to start the ApCoCoAServer in order to use it/them.

Please set ring environment alphabet (or indeterminates) X and ordering through the functions NC.SetX(X) and NC.SetOrdering(Ordering), respectively, before calling the function. Default ordering is length-lexicographic ordering ("LLEX"). For more information, please check the relevant functions.

Example
NC.SetX("ab");
NC.SetOrdering("LLEX");
F1:=["aa", ""];
F2:=["bbb", ""];
F3:=["abababbabbabababbabb", ""];
G:=[F1,F2,F3];
NC.GIsGB(G);

False
-------------------------------
-- Done.
-------------------------------
GB:=NC.GGB(G);

-- Done.
-------------------------------
GB;

[["aa", ""], ["bbb", ""], ["abbabbabab", "bbabbababa"], 
["abbabababb", "babbabbaba"], ["ababbabbab", "bbabababba"], ["abababbabb", "bababbabba"], 
["babbabbabab", "abbababa"], ["ababbabbaba", "bbabababb"], ["bbabbabababb", "abbabbaba"], 
["bbabababbabb", "ababbabba"], ["ababbabbabab", "bbababa"], ["bababbabbabab", "ababa"], 
["abababbababab", "babababbababa"], ["ababababbabab", "bababbabababa"], ["abbababababbab", "babbababababba"], 
["ababbababababb", "bbababababbaba"], ["abababbabbabab", "baba"], ["ababababbababa", "bababbababab"], 
["bbabababbababab", "abababbababa"], ["bababbababababb", "ababababbaba"], ["ababbababababba", "bbababababbab"], 
["abababbabbababa", "bab"], ["bbabbababababbab", "abbababababba"], ["abababbababbabab", "bababbababbababa"], 
["abababbabbabababb", "ba"], ["bbabababbababbabab", "ababbababbababa"], ["babbabbabbabbabbab", "abbababababababba"], 
["abbabbabbabbabbaba", "bbabbababababababb"], ["abbababbababbababa", "bababbabababababab"], ["abbabababababababb", "babbabababababbaba"], 
["ababbabababababbab", "bbabababababababba"], ["abababbabbabababba", "b"], ["bbabbababbababbabab", "ababbababababababa"], 
["bbabbababababababba", "abbabbabbabbabbab"], ["bababbababbababbabb", "abababababababbaba"], ["bababbabababababbab", "abababababababba"], 
["bababbababababababa", "abbababbababbabab"], ["ababbababbababbabba", "bbabababababababbab"], ["ababbabababababbaba", "bbabababababababb"], 
["bbabbabababababababb", "abbabababababbaba"], ["bbabababababababbaba", "ababbababbababbabb"], ["bababbababbababbabba", "abababababababbab"], 
["abababbabbabababbabb", ""], ["abbababababababababbab", "babbababababababababba"], 
["ababbababbabababababab", "bababbababbabababababa"], ["ababbababababababababb", "bbababababababababbaba"], 
["babbababbababbababbabab", "abbabababababababababa"], ["bababbababbababbababbab", "ababababababababababba"], 
["abbababababababababbaba", "babbababababababababb"], ["ababbababbababbababbaba", "bbababababababababababb"], 
["ababbababababababababab", "babbabababababababababa"], ["ababababababababababbab", "babababababababababbaba"], 
["bbabbababababababababbab", "abbababababababababba"], ["bbabbabababababababababa", "abbababbababbababbabab"], 
["bbababababababababababba", "ababbababbababbababbab"], ["abbababababababababababb", "babbababbababbababbaba"], 
["ababababababababababbaba", "babababababababababbab"], ["abababababababababababab", "babababababababababababa"], 
["abbababababababababababab", "babababababababababababba"], ["ababababababababababababb", "bbabababababababababababa"], 
["bbabababababababababababab", "abababababababababababa"], ["ababababababababababababba", "bbababababababababababab"]]
-------------------------------
-- Done.
-------------------------------
NC.GIsGB(GB);

True
-------------------------------
-- Done.
-------------------------------


See Also