Ok, the striped down 1.2 GB virtual machine is available in the same
link. Maybe some unneeded system utilities could still be removed, but
i wouldn't expect more than a few dozen MB gained from that.
I have noticed that, when running under virtualbox and closing saving
the state, everything
I forgot to mention that buiding sage from source writes the logs of
all the building process. Removing them saves a lot of disk space. I
think such a thing should also be included in the make micro_release
script.
On 10 nov, 12:35, mmarco mma...@unizar.es wrote:
Ok, the striped down 1.2 GB
I like your ideas about guest distributions Georg.
The missing thing you describe: a way to tell the host distrubution on
what packages we depend is not really the missing thing. I think a way to
make sage configurable to use other external program's instead of spkgs is
really the missing
On Wed, Nov 9, 2011 at 11:00 PM, Dan Drake dr...@kaist.edu wrote:
On Wed, 09 Nov 2011 at 09:16PM -0500, Daniel Thau wrote:
Yeah, I considered that possibility. The md5sum for both the
pre-compiled
version I tried and the source both matched what they were expected too.
$ md5sum
Em 9 de novembro de 2011 23:27, Paulo César Pereira de Andrade
paulo.cesar.pereira.de.andr...@gmail.com escreveu:
Em 9 de novembro de 2011 23:24, Paulo César Pereira de Andrade
paulo.cesar.pereira.de.andr...@gmail.com escreveu:
But, since gmpy call to mp_set_memory_functions is kind of
I also use sage-on-gentoo. I find it a very good way to just use sage.
But i don't only use sage, i also develop it: when there is a feature
i miss, i implement it (if i have the knowledge and time to do so).
The easyest way to do so is to have sage installed in a directory in
the standard way.
On 11/10/2011 10:01 AM, mmarco wrote:
I also use sage-on-gentoo. I find it a very good way to just use sage.
But i don't only use sage, i also develop it: when there is a feature
i miss, i implement it (if i have the knowledge and time to do so).
The easyest way to do so is to have sage
On Thu, Nov 10, 2011 at 8:07 AM, Michael Orlitzky mich...@orlitzky.com wrote:
On 11/10/2011 10:01 AM, mmarco wrote:
I also use sage-on-gentoo. I find it a very good way to just use sage.
But i don't only use sage, i also develop it: when there is a feature
i miss, i implement it (if i have
Hi there,
I'm usually editing my notebook on my computer using a local server. Some of
these notebook are published on sagenb.org. Is there an easy way to update the
notebook from my computer ? I can save it and upload it on sagenb but this
create a *new* notebook. I can't re-publish it
This is not an elegant solution, but you could do this.
1) Edit your local worksheet.
2) Go to Edit and copy everything.
3) Go to the sagenb worksheet and open it.
4) Go to Edit and paste the new stuff, replacing the old stuff.
5) Republish.
If you had access to sagenb's file system you could
On 11/10/2011 11:17 AM, William Stein wrote:
For many of us, doing development on Sage surprisingly often means
modifying more than just the core Sage library. It might mean
tweaking the Cython compiler, changing something in the core of PARI
and seeing what happens, modifying Pynac if one
On Wed, Nov 9, 2011 at 11:00 PM, Dan Drake dr...@kaist.edu wrote:
On Wed, 09 Nov 2011 at 09:16PM -0500, Daniel Thau wrote:
Yeah, I considered that possibility. The md5sum for both the
pre-compiled
version I tried and the source both matched what they were expected
too.
Is it possible to move/merge the OpenID accounts over to sagenb.org?
On Wed, Nov 9, 2011 at 8:03 AM, Jason Grout jason-s...@creativetrax.com
wrote:
Is anyone using flask.sagenb.org? It is now an obsolete experiment, since
the new flask notebook is running on sagenb.org and the cutting-edge
I also use sage-on-gentoo. I find it a very good way to just use sage.
But i don't only use sage, i also develop it: when there is a feature
i miss, i implement it (if i have the knowledge and time to do so).
The easyest way to do so is to have sage installed in a directory in
the standard
On Thu, Nov 10, 2011 at 10:20 AM, Tom Boothby tomas.boot...@gmail.com wrote:
Is it possible to move/merge the OpenID accounts over to sagenb.org?
My understand is: not without a lot of throwaway programming work
that nobody wants to do.
William
On Wed, Nov 9, 2011 at 8:03 AM, Jason Grout
On 11/10/11 12:26 PM, William Stein wrote:
On Thu, Nov 10, 2011 at 10:20 AM, Tom Boothbytomas.boot...@gmail.com wrote:
Is it possible to move/merge the OpenID accounts over to sagenb.org?
My understand is: not without a lot of throwaway programming work
that nobody wants to do.
I just
On Thu, Nov 10, 2011 at 12:53 PM, Jason Grout
jason-s...@creativetrax.com wrote:
On 11/10/11 12:26 PM, William Stein wrote:
On Thu, Nov 10, 2011 at 10:20 AM, Tom Boothbytomas.boot...@gmail.com
wrote:
Is it possible to move/merge the OpenID accounts over to sagenb.org?
My understand is:
17 matches
Mail list logo