sagemath-coxeter3
