I tried to install the PALP database for four-dimensional reflexive
polytopes on the SageMath cloud, following the documentation at

##
Advertising

http://doc.sagemath.org/html/en/reference/geometry/sage/geometry/polyhedron/palp_database.html
,
which suggests the shell command
sage -i polytopes_db_4d
.
This didn't work. I'm not sure whether the failure implies a problem with
the database, or with the place I'm trying to put it on the cloud (this is
a standard Sage installation, not a development version, on a members-only
server without extra internet access enabled). Here's the full terminal
output:
***
make build/make/Makefile
make[1]: Entering directory '/projects/sage/sage-7.3'
make[1]: 'build/make/Makefile' is up to date.
make[1]: Leaving directory '/projects/sage/sage-7.3'
build/bin/sage-logger \
"cd build/make && ./install 'all-toolchain'" logs/install.log
tee: logs/install.log: Permission denied
./install: line 28: /projects/sage/sage-7.3/.BUILDSTART: Permission denied
Nothing to (re)build / all up-to-date.
Error: package 'polytopes_db_4d' not found
Assuming it is an old-style package... (this is deprecated: use -p instead of
-i to install old-style packages)
tee: /projects/sage/sage-7.3/logs/pkgs/polytopes_db_4d.log: Permission denied
/projects/sage/sage-7.3/build/bin/sage-spkg: line 283: cd:
/projects/sage/sage-7.3/upstream: No such file or directory
Attempting to download package polytopes_db_4d
Traceback (most recent call last):
File "/projects/sage/sage-7.3/build/bin/sage-download-file", line 27, in
<module>
from sage_bootstrap.download.cmdline import run_safe
File
"/projects/sage/sage-7.3/build/bin/../sage_bootstrap/download/__init__.py",
line 8, in <module>
from sage_bootstrap.download.mirror_list import MirrorList
File
"/projects/sage/sage-7.3/build/bin/../sage_bootstrap/download/mirror_list.py",
line 22, in <module>
from sage_bootstrap.env import SAGE_DISTFILES
File "/projects/sage/sage-7.3/build/bin/../sage_bootstrap/env.py", line 47,
in <module>
assert os.path.isdir(SAGE_DISTFILES)
AssertionError
***
Any ideas?
Thanks--
Ursula.
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.