up previous next
NC.MRHF

Hilbert function of K-algebra.
Syntax
          
NC.MRHF(X:STRING, Ordering:STRING, Relations:LIST, Gb:LIST):LIST
NC.MRHF(X:STRING, Ordering:STRING, Relations:LIST, 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.

Example
X := "xyzt"; 
Ordering := "LLEX"; 
Relations:=[]; 
F1 := [[1,"xx"], [-1,"yx"]];   
F2 := [[1,"xy"], [-1,"ty"]];  
F3 := [[1,"xt"], [-1, "tx"]];  
F4 := [[1,"yt"], [-1, "ty"]];  
G := [F1, F2,F3,F4]; 
NC.MRHF(X, Ordering, Relations, G, 5);
Warning: the input is not a Groeber basis, and error might occur consequently.
[1, 4, 12, 36, 108, 324]
-------------------------------
X :=  "xyzt"; 
Ordering := "LLEX"; 
Relations := []; 
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.MRHF(X, Ordering, Relations, Gb, 5);
[1, 4, 12, 34, 100, 292]
-------------------------------


See Also