NC.IsFinite |
Syntax |
NC.IsFinite(M:LIST):BOOL |
Description |
Example |
Use ZZ/(2)[x[1..3]]; M:=[[x[3]^3], [x[1], x[2]], [x[2]^2], [x[1]^2], [x[2], x[3], x[1]], [x[1], x[3], x[1]], [x[1], x[3]^2], [x[2], x[3], x[2], x[3]], [x[1], x[3], x[2], x[3]]]; NC.IsFinite(M); False ------------------------------- The output at the ApCoCoAServer is as follows. Found 2 cycles: [3,2,1] [2,1,3] [1,3,2] [3,3,2] [3,2,3] [2,3,3] The group has polynomial growth of at most degree 2. |
See Also |