I'm having issues installing and using Coxeter3
When I'm in the coxeter as in the above instructions, and I open a Jupyter Notebook from the command line, I see a bunch of files that all "belong" to Coxeter, so I know it's somehow there on my machine. However, when I try to run stuff like
from coxeter3_sage import Coxeter3
in my Jupyter notebook, which can be found here, I get told
"ModuleNotFoundError: No module named 'coxeter3_sage'"
In trying to figure out the solution to my problem, I came across this question.
When trying the fix that ultimately worked there, being to run
sage -f Coxeter3
I get back
make: *** No rule to make target 'Coxeter3-clean'. Stop.
make: *** No rule to make target 'all-toolchain'. Stop.
Does anyone have any ideas as to how I can get this working?
