Ask Your Question
1

I installed Sage 9.1 but my terminal says I have Sage 9.0 installed.

asked 2020-07-08 19:42:56 +0100

powerengineer gravatar image

Hello all, I just recently installed Sage 9.1 from a tar folder. It initially said I successfully installed Sage 9.1. After I closed the terminal and launched sage, the new terminal says it is sage 9.0. I tried installing Sage 9.0 before, but it never complied since I did not have the FORTRAN. I am not sure if that is creating a conflict. I am using Linux Mint 19.3 as my OS. I am relatively new to sage, so I might be wrong about the installation. Thank you for the help.

~$ sage
┌────────────────────────────────────────────────────────────────────┐
│ SageMath version 9.0, Release Date: 2020-01-01                     │
│ Using Python 3.7.3. Type "help()" for help.                        │
└────────────────────────────────────────────────────────────────────┘
sage: help()
Welcome to Sage 9.0!
edit retag flag offensive close merge delete

Comments

1

Where does you mysterious "tar folder" comes from ?

Emmanuel Charpentier gravatar imageEmmanuel Charpentier ( 2020-07-09 10:07:28 +0100 )edit

you uninstalled 9.0 first? Because the version on the terminal is the version you are using.

Masacroso gravatar imageMasacroso ( 2020-07-09 13:25:01 +0100 )edit

1 Answer

Sort by » oldest newest most voted
1

answered 2020-07-12 02:52:25 +0100

slelievre gravatar image

updated 2020-07-12 22:20:50 +0100

Note: in the commands below, do not type the initial $ in each line, which represents the shell prompt.

If your new Sage is at /home/you/sagemath, make it known to the system with the command:

$ sudo ln -sf /home/you/sagemath/sage /usr/local/bin

This will work providing /usr/local/bin is in your PATH. To make sure of that, try:

$ echo $PATH

To know which Sage starts and whether it is a symbolic link and what it links to:

$ which sage
$ ls -halF `which sage`
edit flag offensive delete link more

Your Answer

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

Add Answer

Question Tools

1 follower

Stats

Asked: 2020-07-08 19:42:56 +0100

Seen: 599 times

Last updated: Jul 12 '20