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 (sorry I'm new to ask sage and does not have enough karma to publish links). However, I tried different ways including: and (again, my apology but I cannot publish a link) But the first one says:
and the second one says:
How should I install the spkg? Many thanks! |