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
(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!