check_YB: Check Young Baxter Equation

Description Usage Arguments Value See Also

Description

This functions checks if the Young Baxter equation holds. In particular, for up and down actions, let there be a switch $S(a,b_a) = (b,a^b)$ and define $S_1(a,b,c)=(S(a,b),c)$ and $S_2(a,b,c)=(a,S(b,c))$. Then the Young Baxter equations are $$S_1S_2S_1(a,b,c) = S_2S_1S_2(a,b,c)$$

Usage

1
check_YB(S, k, X)

Arguments

S

All words of length 2 in a given set after up/down operation.

k

Order of set.

X

All words of length 2 in a given set.

Value

TRUE/FALSE

See Also

check_f,check_permutations


quhomology documentation built on May 1, 2019, 8:44 p.m.