coxeter3_sage
