1""" 2A constants file for our Singular python subproject 3""" 4import os 5 6HOME_DIR = os.path.expanduser("~/.singular") 7SINGULAR_BIN = os.path.expanduser("~/Singular/Singular4/bin/Singular") 8EXTRACT_SCRIPT = "ml_singular/extract.lib" 9KEYWORDS_FILE = os.path.expanduser("~/.singular/keywords.txt") 10VECTORS_NPY = os.path.expanduser("~/.singular/vectors.npy") 11HELPFILE_NPY = os.path.expanduser("~/.singular/helpfilelist.npy") 12 13HELP_FILE_URL = "ftp://jim.mathematik.uni-kl.de/pub/Math/Singular/src/4-1-2/doc.tbz2" 14HELP_FILE_PATH = os.path.join(os.path.expanduser("~/.singular"), 15 "helpfiles", "singular") 16