NC.MRIsGB |
Syntax |
NC.MRIsGB(X:STRING, Ordering:STRING, Relations:LIST, G:LIST):BOOL |
Description |
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.MRIsGB(X, Ordering, Relations, G); False ------------------------------- |
See Also |