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.

See Also