Christian Stump's profile - activity

@jipilab: Yep, same in D4, where this is still an involution while the automorphism group is an $S_3$... But the question was about type A where it works...

This automorphism is realized by conjugation with the longest element in $W$:

sage: W = CoxeterGroup(['A',3],implementation="reflection")
sage: S = W.simple_reflections()
sage: Sauto = { i: W.w0*S[i]*W.w0 for i in S.keys() }
sage: S
Finite family {1: [-1  1  0]
[ 0  1  0]
[ 0  0  1], 2: [ 1  0  0]
[ 1 -1  1]
[ 0  0  1], 3: [ 1  0  0]
[ 0  1  0]
[ 0  1 -1]}
sage: Sauto
{1: [ 1  0  0]
 [ 0  1  0]
 [ 0  1 -1], 2: [ 1  0  0]
 [ 1 -1  1]
 [ 0  0  1], 3: [-1  1  0]
 [ 0  1  0]
 [ 0  0  1]}

I'd also like to see this solved since it prevents me from installing the sagecell package...

Cheers, Christian

I would actually still like to see this problem solved since I installing this package is part of the sagecell package installation (and I cannot use the detour described above in that case).

Same ubuntu, same sage version, same problem, same solution. Thanks for sharing!