can not install coxeter3 in sage, my system is mcos

[min jiang]

I installed the software by macos`s SageMath-10.5_x86_64.dmg
 file.It can run simple code,such as 1 +1 etc.

But when I run some advanced pkgs, it will throw some errors, for example:

when i run this code:

R.<v> = LaurentPolynomialRing(ZZ, 'v')
W = CoxeterGroup('A3', implementation='coxeter3')
H = IwahoriHeckeAlgebra(W, v**2); Cp=H.Cp()
Cp.product_on_basis(W([1,2,1]), W([3,1]))
Cp.product_on_basis(W([1,2,1]), W([3,1,2]))

it will be wrong and the error msg is :

RuntimeError Traceback (most recent call last) Cell In [1], line 2 1 R = LaurentPolynomialRing(ZZ, 'v', names=('v',)); (v,) = R._first_ngens(1) ----> 2 W = CoxeterGroup('A3', implementation='coxeter3') 3 H = IwahoriHeckeAlgebra(W, v**Integer(2)); Cp=H.Cp() 4 Cp.product_on_basis(W([Integer(1),Integer(2),Integer(1)]), W([Integer(3),Integer(1)])) File /home/sc_serv/sage/src/sage/misc/lazy_import.pyx:409, in sage.misc.lazy_import.LazyImport.__call__() 407 True 408 """ --> 409 return self.get_object()(*args, **kwds) 410 411 def __repr__(self): File /home/sc_serv/sage/src/sage/combinat/root_system/coxeter_group.py:140, in CoxeterGroup(data, implementation, base_ring, index_set) 138 from sage.libs.coxeter3.coxeter_group import CoxeterGroup 139 except ImportError: --> 140 raise RuntimeError("coxeter3 must be installed") 141 else: 142 return CoxeterGroup(cartan_type) RuntimeError: coxeter3 must be installed

I try to install this pkg by pip install coxeter3 or  sage -i <options> <package name> ,

all ways were failed. How to install sage with package coxeter3?

Looking forward to your reply.

[Marc Culler]

As I reported to @jeanjmh off-list, the coxeter3 package **is** installed in the SageMath.app already.  There are two issues here.  The trivial one is that the error message he encountered is misleading.  The significant one is that based on the traceback he provides there is a bug on line 13 of sage/libs/coxeter3/coxeter_group.py which reads:

from sage.libs.coxeter3.coxeter import get_CoxGroup, CoxGroupElement

Attempting to execute that line in the SageMath-10-5.app produces a traceback which concludes with:

ModuleNotFoundError: No module named 'sage.libs.coxeter3.coxeter

- Marc