1 | initial version |
Unfortunately, while other databases seem to be packaged for Arch Linux:
it seems the Stein-Watkins database is not.
Possibly you can install it easily by downloading the compressed database and uncompressing it into the correct location.
I'm not sure what the correct location is on Arch Linux.
To download the compressed database: either
or
2 | No.2 Revision |
Unfortunately, while other databases seem to be packaged for Arch Linux:
it seems the Stein-Watkins database is not.
Possibly you can install it easily by downloading the compressed database and uncompressing it into the correct location.
I'm not sure what the correct location is on Arch Linux.
To download the compressed database: either
or
Another solution is to build Sage from source, following the instructions at
Then, using that Sage, sage -i
will work.