They are installed in SAGE_ROOT/local/share/kohel/
(also known as SAGE_SHARE/kohel/)
And this value is hardcoded at least at one place, namely in the line
dblocation = os.path.join(SAGE_SHARE, 'kohel') in the file
src/sage/databases/db_modular_polynomials.py
So it is possible to change it to something, but they you'll need to
change the source code too (at that place I indicated, but possibly
somewhere else as well)
HTH
Dima
On Tue, Jul 23, 2019 at 7:06 PM Forrest Burt <forre...@boisestate.edu> wrote:
>
> I am attempting to install the Kohel Classical Modular Polynomial Database into sage with "sage -i database_kohel". It's important in the environment I'm in that the databases be contained within a specific file. It's not immediately obvious where these databases will actually be installed to, so is there a way to change/specify where this database will be installed to?
>
> --
> 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-s...@googlegroups.com.
Wonderful, thanks for the info. My concern is that it'll get placed into some kind of /usr/local or similar directory. Near as I can tell from that code you posted, it should just go into the same directory as Sage itself, correct?
--
On Tuesday, July 23, 2019 at 12:38:33 PM UTC-6, Dima Pasechnik wrote:They are installed in SAGE_ROOT/local/share/kohel/
(also known as SAGE_SHARE/kohel/)
And this value is hardcoded at least at one place, namely in the line
dblocation = os.path.join(SAGE_SHARE, 'kohel') in the file
src/sage/databases/db_modular_polynomials.py
So it is possible to change it to something, but they you'll need to
change the source code too (at that place I indicated, but possibly
somewhere else as well)
HTH
Dima
On Tue, Jul 23, 2019 at 7:06 PM Forrest Burt <forre...@boisestate.edu> wrote:
>
> I am attempting to install the Kohel Classical Modular Polynomial Database into sage with "sage -i database_kohel". It's important in the environment I'm in that the databases be contained within a specific file. It's not immediately obvious where these databases will actually be installed to, so is there a way to change/specify where this database will be installed to?
>
> --
> 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-s...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/111b3a33-f541-49bf-b94c-859c7b97019f%40googlegroups.com.
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...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/38eedb30-bbe3-4cae-971c-11cfa44a9e10%40googlegroups.com.