[sage-support] Re: How to install wxPython in Sage?

On Wednesday, October 29, 2014 5:09:55 PM UTC-7, João Alberto Ferreira wrote: > > How can I install wxPython (wx module) in Sage? > Have you tried executing "sage -sh" and then following the build instructions at http://wxpython.org/builddoc.php ? The fact that wxPython posts such build instruc

[sage-support] How to install wxPython in Sage?

How can I install wxPython (wx module) in Sage? I tried: joao@Hades:~$ sage --python -m easy_install wxPython Searching for wxPython Reading https://pypi.python.org/simple/wxPython/ Reading http://wxPython.org/ Reading http://wxPython.org/download.php Best match: wxPython src-3.0.1.1 Downloading h

[sage-support] Re: [sympy] Formal methods are not human one

The most canonical example of this is symbolic integration. The two most powerful algorithms implemented in SymPy, Risch and Meijer G, work completely differently from how a human would compute an integral (there are also some table lookup algorithms and manualintegrate which do work how a human wo

[sage-support] Re: Formal methods are not human one

> > I'm looking for formal outputs that are not calculated as a human can do > (this is for a free french "book"). Do you know such kind of examples ? Like Simon, I'm no sure if this is what you mean, but Bruno Buchberger was for a while working on a proof-generating system called *Theorema,*

Re: [sage-support] Secure connection fails using Firefox 33

I'm the OP and I run the Sage server at sage.math.clemson.edu. So my question is, how to get my server to regenerate a proper self-signed key. I don't have the budget at the moment for a real key. (1) So moving the server's .sage/notebook directory will generate new keys that are long enough?

Re: [sage-support] Secure connection fails using Firefox 33

> > > > I see, so the server will indeed automatically generate the "correct" > > keys, but if it previously generated them and is still using the same > > ones then it might not. Thanks for clarifying. > > But what Sage should do? If somebody manually runs notebook(), then it > could just ask

[sage-support] Spectral decomposition / factorization

I have a symmetric real matrix 'A', and I need to factorize it as X(X^T). An n-by-k X where k=rank(A) would be ideal, but a square X with zeros is fine too. Is there a built-in method I'm not seeing? Or something simpler than looping through the eigenvectors? -- You received this message because

Re: [sage-support] How to create and use lists of variables?

On 10/28/2014 10:47 PM, smohamm...@gmail.com wrote: > Thank you so much! I'm sorry I couldn't answer earlier. It worked as I > expected. Now as the last question on this discussion, do I need to use > 'SymbolicSequence', when I want to numerically solve a large ODE system? > I tried to use instruct

Re: [sage-support] Re: interact.sagemath.org down?

> > > >> We shutdown the old computer boxen.math.washington.edu > > , on which > > >> interact.sagemath.org was (maybe?) > > hosted, since it was running a very > > >> old unpatch-able version of Linux. We gave people weeks

Re: [sage-support] Secure connection fails using Firefox 33

On Wed, 29 Oct 2014, kcrisman wrote: I see, so the server will indeed automatically generate the "correct" keys, but if it previously generated them and is still using the same ones then it might not. Thanks for clarifying. But what Sage should do? If somebody manually runs notebook(), then i

[sage-support] Re: Having issues with assume

> See https://sourceforge.net/p/maxima/bugs/2829/ and > https://sourceforge.net/p/maxima/bugs/2829/ > > Sorry, I meant http://trac.sagemath.org/ticket/17249 and https://sourceforge.net/p/maxima/bugs/2829/ -- You received this message because you are subscribed to the Google Groups "sage-su

Re: [sage-support] Secure connection fails using Firefox 33

> On Tue, 28 Oct 2014, kcrisman wrote: > > > This is a little hermetic for me. Are you all saying that sagenb using > > openssl is the problem, or that one needs to have it reconfigured to use > > better encryption, or that people running Sage servers need to buy > > certificates, or ... ?

[sage-support] Re: Possible Sqrt Simplification Bug

> Hello, > I believe I found a bug in how radicals are simplified. The general > idea is that sqrt(x^2)=abs(x), but sage simplifies sqrt(x^2) to x instead, > even if x is negative. I've included a simple example below. > > sage: x = var('x') > sage: assume(x<0) > sage: expr = sqrt(x^2)

[sage-support] Re: Formal methods are not human one

Hi Christophe, ["Followup-To:" nach gmane.comp.mathematics.sage.support gesetzt.] On 2014-10-29, Christophe Bal wrote: > I'm looking for formal outputs that are not calculated as a human can do > (this is for a free french "book"). Do you know such kind of examples ? I don't understand your ques

[sage-support] Formal methods are not human one

Hello. I'm looking for formal outputs that are not calculated as a human can do (this is for a free french "book"). Do you know such kind of examples ? Christophe BAL PS : this questions has been posted on both Sage and Sympy lists. -- You received this message because you are subscribed to th

Re: [sage-support] Secure connection fails using Firefox 33

On Tue, 28 Oct 2014, kcrisman wrote: This is a little hermetic for me.  Are you all saying that sagenb using openssl is the problem, or that one needs to have it reconfigured to use better encryption, or that people running Sage servers need to buy certificates, or ... ?  Thanks for any clarific

[sage-support] Possible Sqrt Simplification Bug

Hello, I believe I found a bug in how radicals are simplified. The general idea is that sqrt(x^2)=abs(x), but sage simplifies sqrt(x^2) to x instead, even if x is negative. I've included a simple example below. sage: x = var('x') sage: assume(x<0) sage: expr = sqrt(x^2) sage: simp_expr=e