up previous next
NCo.IsFinite

Check whether the K-dimension dim(K/) is finite, where is an monoid ideal generated by a finite set M of words.
Syntax
          
NCo.IsFinite(X:STRING, M:LIST):BOOL

          

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:="xy";
M:=["xxx","yxy","xyx"];
NCo.IsFinite(X, M);

True
-------------------------------
X:="xy";
M:=["xxx","yxy","xyx","yyx","yyy"];
NCo.IsFinite(X, M);

False
-------------------------------


See Also