Installing Coxeter3

asked 0 years ago

sum8tion gravatar image

updated 0 years ago

FrédéricC gravatar image

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?

Preview: (hide)

Comments

2

Try sage -f coxeter3 (lowercase, not capital).

John Palmieri gravatar imageJohn Palmieri ( 0 years ago )

I got the same error message.

sum8tion gravatar imagesum8tion ( 0 years ago )

Please provide more details: what OS are you using, what version of Sage, and how did you install it?

John Palmieri gravatar imageJohn Palmieri ( 0 years ago )

I'm running Windows 11.
It looks like I only have Sage 9.5, which I'm guessing might be a/the problem, since I followed the download instructions here: https://www.youtube.com/watch?v=JCpXi...

sum8tion gravatar imagesum8tion ( 0 years ago )