First time here? Check out the FAQ!
answered 2020-04-13 21:56:07 +0100
Here is a starting point. The rest is standard Coxeter theory.
sage: W = CoxeterGroup(['A',4]) sage: w = W.long_element() sage: t = w.coset_representative([1,2])