conjugate | R Documentation |
Returns TRUE
if two permutations are conjugate and FALSE
otherwise.
are_conjugate(x, y)
are_conjugate_single(a,b)
x , y , a , b |
Objects of class permutation, coerced to cycle form |
Two permutations are conjugate if and only if they have the same shape.
Function are_conjugate()
is vectorized and user-friendly;
function are_conjugate_single()
is lower-level and operates
only on length-one permutations.
The reason that are_conjugate_single()
is a separate function
and not bundled inside are_conjugate()
is that dealing with the
identity permutation is a pain in the arse.
Returns a vector of Booleans
The functionality detects conjugateness by comparing the shapes of two
permutations; permutations are coerced to cycle form because function
shape()
does.
The group action of conjugation, that is x^y
or y^-1 x
y
, is documented at conjugation.
are_conjugate(x,conjugate(x^y))
is always TRUE
.
Robin K. S. Hankin
conjugation
,shape
as.cycle("(123)(45)") %~% as.cycle("(89)(712)") # same shape
as.cycle("(123)(45)") %~% as.cycle("(89)(7124)") # different shape
are_conjugate(rperm(20,3),rperm(20,3))
rperm(20,3) %~% as.cycle(1:3)
z <- rperm(300,4)
stopifnot(all(are_conjugate(z,id)==is.id(z)))
data(megaminx)
stopifnot(all(are_conjugate(megaminx,megaminx^as.cycle(sample(129)))))
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.