NC.KernelOfHomomorphism |
Syntax |
NC.KernelOfHomomorphism(X_1:STRING, X_2:STRING, Images:LIST):LIST NC.KernelOfHomomorphism(X_1:STRING, X_2:STRING, Images:LIST, DegreeBound:INT, LoopBound:INT, Flag:INT):LIST |
Description |
Example |
X_1 := "abc"; X_2 := "xy"; F1 := [[1,"x"], [1,"y"]]; F2 := [[1,"xx"],[1,"xy"]]; F3 := [[1,"yy"],[1,"yx"]]; Images :=[F1, F2, F3]; -- a |-> F1; b |-> F2; c |-> F3 NC.KernelOfHomomorphism(X_1, X_2, Images); [[[1, "ab"], [-1, "ba"], [1, "ac"], [-1, "ca"]], [[1, "aa"], [-1, "b"], [-1, "c"]]] ------------------------------- |
See Also |