First time here? Check out the FAQ!

Ask Your Question
1

Problem installing package

asked 6 years ago

NDaultryBall gravatar image

updated 0 years ago

FrédéricC gravatar image

I am trying to download the database of reflexive 4d lattice polytopes using the command

!sage -i polytopes_db_4d

but I get the error:

make: *** No rule to make target 'all-toolchain'.  Stop.

Not sure what this means or how to get around it, so any help or explanation would be welcome. I am relatively new to SAGE so sorry if it is something obvious!

Preview: (hide)

Comments

Welcome to Ask Sage! Thank you for your question!

slelievre gravatar imageslelievre ( 6 years ago )

What is your operating system? How did you install Sage?

slelievre gravatar imageslelievre ( 6 years ago )

Is this Sage for Windows? If so, it doesn't support installing optional packages yet.

Iguananaut gravatar imageIguananaut ( 6 years ago )

Installation problems with this package are discussed at:

slelievre gravatar imageslelievre ( 6 years ago )

What is the version you are using recently?

pizza gravatar imagepizza ( 6 years ago )

1 Answer

Sort by » oldest newest most voted
0

answered 6 years ago

slelievre gravatar image

updated 6 years ago

This package is an "old-style spkg" package.

This means it cannot be installed using sage -i like "new-style spkg" packages.

The workaround is to install it with sage -p.

Quit Sage and in a terminal, run

$ sage -p polytopes_db_4d

This involves downloading the package which contains a huge (~8 GB) database, so it might take a while.

Once this is done, restart Sage and you can follow the SageMath documentation on using the palp_database of reflexive Hodge 4-polytopes:

sage: version()
'SageMath version 8.4, Release Date: 2018-10-17'

sage: from sage.geometry.polyhedron.palp_database import Reflexive4dHodge
sage: ref = Reflexive4dHodge(1, 101)
sage: next(iter(ref)).Vrepresentation()
(A vertex at (-1, -1, -1, -1),
 A vertex at (0, 0, 0, 1),
 A vertex at (0, 0, 1, 0),
 A vertex at (0, 1, 0, 0),
 A vertex at (1, 0, 0, 0))
Preview: (hide)
link

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 6 years ago

Seen: 1,311 times

Last updated: 2 days ago