Ask Your Question

How to Update Sage from PPA to binaries

asked 2017-08-15 09:31:23 +0200

Romuald_314 gravatar image

updated 2017-08-15 09:34:28 +0200


I should tell you before: of course I have searched before I wrote this question. Threads exist, but are old, not relevant anymore.

However, here is my problem: I am on Ubuntu, and the first time I installed Sage I used the PPA. Using the PPA is really practicle and automatic. But this PPA isn't up to date very often, since Sage is currently v8.0 and the PPA is still 7.5.1, seems to be permanently late (very late).

So, I'd like to know how I may possibly change my method of installation, and to henceforth use the pre-built binaries for linux to replace my current installation, but I'm not familiar with this method.

Thank you for your help.

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2017-08-15 09:39:47 +0200

tmonteil gravatar image

updated 2017-08-15 09:41:08 +0200

Just do the two steps independently:

  • remove the PPA with the apt command:

    sudo apt-get remove sagemath-upstream-binary
  • install Sage the way you want (either from some binaries, or compile it yourself so that you can even get the latest beta version), see

That said, i am pretty sure the PPA will be updated to 8.0 soon.

edit flag offensive delete link more


Yeah, removing the PPA, downloading, these are all OK in my mind. My main question was about replacing the Sage system & binaries, i.e., which path, how (only paste and replace or is there any important instructions to follow, etc. ...).

Romuald_314 gravatar imageRomuald_314 ( 2017-08-15 10:04:39 +0200 )edit

The question is still unclear. For me it worked to edit some python files, that were certainly called in some cases, i was sure of that because the error message was specific, and a recursive grep gave me the module. That worked for me in the special cases.

But in general there are issues. The following links give hints in cases that may be similar:

sage-replace-module-question is an example for a specific module. (The two answers are qualified with +5 and +4 votes...)

sage-new-modules-question gets +6 votes...

The Ubuntu PPA is often old, this is the reason i switched to manjaro, the A(rch)UR sage is top.

dan_fulea gravatar imagedan_fulea ( 2017-08-15 19:08:24 +0200 )edit

You just have to follow the instructions given in the link i gave then your personal settings will still apply, since they are located in the ~/.sage directory, so not related to the Sage installation.

tmonteil gravatar imagetmonteil ( 2017-08-15 21:45:34 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2017-08-15 09:31:23 +0200

Seen: 1,137 times

Last updated: Aug 15 '17