up previous next
NC.GMB

Macauley basis of an F2-algebra.
Syntax
          
NC.GMB(Gb:LIST):LIST
NC.GMB(Gb:LIST, DegreeBound: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 set of indeterminates) X and admissible ordering via the functions NC.SetX and NC.SetOrdering, respectively, before calling the function. The default ordering is length-lexicographic ordering ("LLEX"). For more information, please check the relevant functions.

Example
NC.SetX("xyzt");
NC.SetOrdering("LLEX");
GB:= [["yt", "ty"], ["xt", "tx"], ["xy", "ty"], [ "xx", "yx"], 
["tyy", "tty"], ["yyx", "tyx"]];
NC.GMB(GB,3);
[[""], ["t", "z", "y", "x"], ["tt", "tz", "ty", "tx", "zt", "zz", "zy", "zx", "yz", "yy", "yx", "xz"], 
["ttt", "ttz", "tty", "ttx", "tzt", "tzz", "tzy", "tzx", "tyz", "tyx", "txz", "ztt", "ztz", "zty", "ztx", 
"zzt", "zzz", "zzy", "zzx", "zyz", "zyy", "zyx", "zxz", "yzt", "yzz", "yzy", "yzx", "yyz", "yyy", "yxz", 
"xzt", "xzz", "xzy", "xzx"]]
-------------------------------


See Also