up previous next
NC.MB

Enumerate Macaulay basis of a K-algebra.
Syntax
          
NC.MB(Gb:LIST):LIST
NC.MB(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 coefficient fieldK, alphabet (or set of indeterminates) X and ordering via the functions NC.SetFp, NC.SetX and NC.SetOrdering, respectively, before calling the function. Default coefficient field is Q. Default ordering is length-lexicographic ordering ("LLEX"). For more information, please check the relevant functions.

Example
NC.SetX("xyzt");
NC.SetOrdering("LLEX");
Gb:= [[[1, "yt"], [-1, "ty"]], [[1, "xt"], [-1, "tx"]], [[1, "xy"], [-1, "ty"]], [[1, "xx"], [-1, "yx"]], 
[[1, "tyy"], [-1, "tty"]], [[1, "yyx"], [-1, "tyx"]]];
NC.MB(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