Ask Your Question

How to install an spkg (the one for GRDB Fano polytopes)?

asked 2020-09-21 11:14:38 +0100

psimiuniu gravatar image

updated 2020-09-21 15:08:53 +0100

FrédéricC gravatar image


I would like to install the grdb_polytopes-0.1 spkg which is from

Trac #13282

(sorry I'm new to ask sage and does not have enough karma to publish links).

However, I tried different ways including:

sage -i /grdb_polytopes-0.1.spkg


sage -i [the link on that webpage (the "coates" one)]

(again, my apology but I cannot publish a link)

But the first one says:

name 'grdb_polytopes' is not defined

and the second one says:

invalid syntax

How should I install the spkg? Many thanks!

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted

answered 2020-09-21 17:43:35 +0100

This is an "old-style" Sage SPKG, and those are no longer supported.

The way to try to install, which would be unsuccessful, is to download the file from, then run sage -i /path/to/grdb_polytopes-0.1.spkg. This will fail with the message

Error: package '/Users/palmieri/Downloads/grdb_polytopes-0.1.spkg' not found
Note: if it is an old-style package, installing these is no longer supported

I don't see any easy way to work around this. You can still look at the data: this spkg file is just a compressed tarball, so you can download it and then run tar xf grdb_polytopes-0.1.spkg and then look at the data files in grdb_polytopes-0.1.spkg/src.

edit flag offensive delete link more


I see. Thank you so much!

psimiuniu gravatar imagepsimiuniu ( 2020-09-22 05:24:36 +0100 )edit

Your Answer

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

Add Answer

Question Tools

1 follower


Asked: 2020-09-21 11:13:40 +0100

Seen: 101 times

Last updated: Sep 21 '20