Ask Your Question

psimiuniu's profile - activity

2020-09-22 05:24:47 +0200 received badge  Scholar (source)
2020-09-22 05:24:45 +0200 received badge  Supporter (source)
2020-09-22 05:24:36 +0200 commented answer How to install an spkg (the one for GRDB Fano polytopes)?

I see. Thank you so much!

2020-09-21 11:28:49 +0200 received badge  Student (source)
2020-09-21 11:28:42 +0200 asked a question How to install an spkg (the one for GRDB Fano polytopes)?

Hi,

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

and

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!