Ask Your Question

Installing on Windows 10

asked 2016-08-06 03:59:32 +0200

Mike56765 gravatar image

Trying to install ova 7.2. All I get when running it is screen that looks like its for getting the build code. Tried VBox. Didn't like it and now using VM Player, but still can't get to notebook. (You need to quit recommending VBox for Windows. Doesn't support Windows 10 well.) Is it hard to make new virtual machine with guest Linux OS and install Linux binary on it? Seems ova is very non-secure. Network enabled, seems I'm inviting malware in. Mike

edit retag flag offensive close merge delete



I am not sure about the network since i do not use windows, however it is unlikely that Vbox will accept connections from outside without asking first (though i do not know). If it things are becoming harder for anything with newer windows versions, let me just recommend to install some GNU/Linux distro, this is very easy those days. Regarding VM Player, i am almost sure that the ova is only tested on Vbox.

That said, if you want to maintain a new virtual machine (more secure, adapted to windows 10, etc), you are very welcome !

tmonteil gravatar imagetmonteil ( 2016-08-06 21:56:14 +0200 )edit

The .ova 7.2 works great on my VirtualBox. I use it at home and at work or when I don't have a machine with Linux installed. Describe what is your problem with it and all the steps you take when you try to run it, so that we will be able to help you.

LRM gravatar imageLRM ( 2016-08-08 01:51:30 +0200 )edit

@Mike56765 Could you point to specific pages of documentation which are lacking? There may be some outdated pages lying around, but pointing to specific urls (and specific problems) is the best way to allow some tidying up to take place. Constructive criticism is always welcome. Could you detail the steps you followed? Post a screenshot?

slelievre gravatar imageslelievre ( 2016-08-11 11:54:02 +0200 )edit

With respect to the login, it should start automatically, but if not should be helpful.

kcrisman gravatar imagekcrisman ( 2016-08-11 16:43:47 +0200 )edit

1 Answer

Sort by ยป oldest newest most voted

answered 2016-08-09 23:13:26 +0200

slelievre gravatar image

updated 2018-02-15 04:04:30 +0200

Using SageMath on Windows

There are several ways to use SageMath on Windows.

Using the SageMath installer for Windows

A SageMath installer for Windows is in alpha stage since 2016.

The installer is a standard Windows-like installer, available at

(use the latest release from the top item in the list there).

It should work for Windows 7 and up, as long as it is 64-bit.

An initial version required activating "HAV" in the BIOS, but this is no longer the case.

Using the "Windows Subsystem for Linux" in Windows 10

This new Linux layer inside Windows is available on all versions of Windows 10.

Using it, you can use the SageMath binaries for Ubuntu. It seems that compiling from source in this setting does not work as of 2016-08-16. (If you manage to compile from source in this setting, please report on sage-devel.)

See this 2016-03 sage-devel discussion for the initial announcement.

See this 2016-07 sage-devel discussion which reports that Sage just works in that setup.

Using a virtual machine

This has worked for a long time.

See SageAppliance.

Using Sage Debian Live

You can use Sage Debian Live, a bootable USB drive.

You reboot your computer on this usb drive which has Debian and SageMath (with a lot more open source software).

You're not really using Windows in that case.

You might have to change some setting in your BIOS to let your computer boot from a USB drive.

Using CoCalc

You can use SageMath online on CoCalc at and this frees you from the burden of installing.

Of course, it works only if you can access the internet, and you might prefer to install on your machine.

You can also install a personal version of CoCalc to run on your own computer, using CoCalc-Docker

Using SageCell

If you just want to run a calculation online, you can use the Sage Cell server available at and

edit flag offensive delete link more


@slelievre compiling from source doesn't work yet in the new Ubuntu layer: I tried a number of times. Bill Hart reported that the precompiled Ubuntu binary runs in the Ubuntu layer.

paulmasson gravatar imagepaulmasson ( 2016-08-15 03:58:23 +0200 )edit

Thanks @paulmasson, I edited my answer to reflect that.

slelievre gravatar imageslelievre ( 2016-08-17 00:55:22 +0200 )edit

I edited my answer to reflect that the new version of the SageMath installer for Windows no longer needs activating virtualization in the BIOS. See Erik Bray's announcement on sage-devel.

slelievre gravatar imageslelievre ( 2016-12-07 17:25:30 +0200 )edit

Edited again to reflect the new home of "sage-windows", and the new name of CoCalc.

slelievre gravatar imageslelievre ( 2018-02-15 04:05:32 +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

1 follower


Asked: 2016-08-06 03:59:32 +0200

Seen: 6,413 times

Last updated: Feb 15 '18