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
    )
add a comment