up previous next
NC.GGB

(Partial) Groebner basis of a finitely generated two-sided ideal in a free group ring over F2.
Syntax
          
NC.GGB(G:LIST):LIST
NC.GGB(G:LIST, DegreeBound:INT, LoopBound:INT, Flag:INT):LIST

          

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. About the optional parameters: For most cases we do not know whether there exists a finite Groebner basis. Instead of forcing computer yelling and informing nothing valuable, the function has 3 optional parameters to control the computation. Note that at the moment all of the following 3 additional optional parameters must be used at the same time.

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

[["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.
-------------------------------


See Also