Installing Coxeter3

asked 2024-05-09 02:18:10 +0200

sum8tion 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?

edit retag flag offensive close merge delete



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

John Palmieri gravatar imageJohn Palmieri ( 2024-05-09 04:30:24 +0200 )edit

I got the same error message.

sum8tion gravatar imagesum8tion ( 2024-05-14 04:24:58 +0200 )edit

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

John Palmieri gravatar imageJohn Palmieri ( 2024-05-14 18:07:34 +0200 )edit

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:

sum8tion gravatar imagesum8tion ( 2024-05-15 21:51:22 +0200 )edit