[sage-support] Theory of Computation class

2010-02-28 Thread Owen Densmore
I'm getting back into grad school, at the tender age of 68, and am loving it! The class I'm taking is pretty tough, CS500 .. based on the upcoming book, The Nature of Computation by Moore and Mertens (Cris Moore is teaching the class I'm taking). http://www.nature-of-computation.org/ I'v

Re: [sage-support] Worksheet at www.sagenb.org not working for me

2010-02-28 Thread William Stein
On Sun, Feb 28, 2010 at 9:05 AM, Minh Nguyen wrote: > Hi Bjarke, > > On Mon, Mar 1, 2010 at 4:02 AM, Bjarke Hammersholt Roune > wrote: > > > >> mvngu in the sage-devel IRC channel wrote: > > Here is the relevant IRC log: > > 08:45 < SageWWW> I typed this into a Sage worksheet: > 08:45 < SageWWW>

[sage-support] Roots of polynomial system involving square roots

2010-02-28 Thread Ben Goodrich
Hi, I have a symbolic polynomial system that I would like to characterize the roots of. Although I know that if there are any roots they are real and positive, the polynomials involve square roots (of positive quantities) and sage does not seem to like that and nor does it like ^(1/2). The followi

[sage-support] Re: Assume() and Symbolic Integration

2010-02-28 Thread ma...@mendelu.cz
btw: sage: a,b,c,= var('a b c'); integrate(1/(a-b-c*sin(x)) ,x, algorithm="mathematica_free") -2*arctan(-((a - b)*tan(1/2*x) - c)/sqrt(a^2 - 2*a*b + b^2 - c^2))/ sqrt(a^2 - 2*a*b + b^2 - c^2) And now you may try newton-leibniz formula R. On 28 ún, 18:34, WH27 wrote: > Can't seem to perform the

[sage-support] Re: Assume() and Symbolic Integration

2010-02-28 Thread ma...@mendelu.cz
Integration is done via Maxima and Maxima also asks about the sign: Robert [ma...@thinkpad /opt/sage]$ ./sage -maxima ;;; Loading #P"/opt/sage-4.3.2/local/lib/ecl/defsystem.fas" ;;; Loading #P"/opt/sage-4.3.2/local/lib/ecl/cmp.fas" ;;; Loading #P"/opt/sage-4.3.2/local/lib/ecl/sysfun.lsp" Maxima 5.

Re: [sage-support] Re: sage 4.3.3 fortan compilation problem

2010-02-28 Thread Serge A. Salamanka
You need to install a dumy package gfortran after you install gfortran-4.3 sudo apt-get install gfortran then you'll have /usr/bin/gfortran available which seems to be required by make process. and after that it goes very smoothly. I guess it should be also noted is README.txt that Sage needs gf

[sage-support] Re: graph circuits in Sage

2010-02-28 Thread ablondin
I forgot to precise that I would submit another for undirected cycles. Alex On 28 fév, 20:32, ablondin wrote: > Hello, David ! > As Nathann mentionned, I've already submitted a patch which allows one > to enumerate paths and cycles in directed graphs with a lot of > possible parameters (length, s

[sage-support] Re: graph circuits in Sage

2010-02-28 Thread ablondin
Hello, David ! As Nathann mentionned, I've already submitted a patch which allows one to enumerate paths and cycles in directed graphs with a lot of possible parameters (length, starting and ending vertices, etc.). Since it has received positive review, I'll submit another one for the next week, so

Re: [sage-support] Re: sage 4.3.3 fortan compilation problem

2010-02-28 Thread Dr. David Kirkby
Dr. David Kirkby wrote: Alex Ghitza wrote: Actually, reading the previous messages in this thread, it seems that gfortran is installed, but the executable is named "gfortran-4.3". Because of this, the prereq spkg doesn't find it (it's looking for an executable named "gfortran" in your PATH). I

Re: [sage-support] Re: sage 4.3.3 fortan compilation problem

2010-02-28 Thread Dr. David Kirkby
Alex Ghitza wrote: Actually, reading the previous messages in this thread, it seems that gfortran is installed, but the executable is named "gfortran-4.3". Because of this, the prereq spkg doesn't find it (it's looking for an executable named "gfortran" in your PATH). If you have root access to

[sage-support] Assume() and Symbolic Integration

2010-02-28 Thread WH27
Can't seem to perform the integration below forget() a, b, c, x = var('a b c x') assume((c-b+a)*(c+b-a)>0) f = 1/(a-b-c*sin(x)) integrate(f, x, 2*pi, 0) error msg - "Is (c-b+a)*(c+b-a) positive or negative?" -- To post to this group, send email to sage-support@googlegroups.com To unsubscr

Re: [sage-support] Worksheet at www.sagenb.org not working for me

2010-02-28 Thread Minh Nguyen
Hi Bjarke, On Mon, Mar 1, 2010 at 4:02 AM, Bjarke Hammersholt Roune wrote: > mvngu in the sage-devel IRC channel wrote: Here is the relevant IRC log: 08:45 < SageWWW> I typed this into a Sage worksheet: 08:45 < SageWWW> a = 5 08:45 < SageWWW> a 08:45 < SageWWW> using http://www.sagenb.org/ho

[sage-support] Worksheet at www.sagenb.org not working for me

2010-02-28 Thread Bjarke Hammersholt Roune
I typed this into a fresh Sage worksheet: a = 5 a The output I see is just a small green rectangle that disappears in a few seconds. I get the same thing typing just "1+1". I'm on Firefox 3.5.8. mvngu in the sage-devel IRC channel wrote: "I'm getting the same issue with the online Sage noteb

[sage-support] Re: Hold symbolic expressions

2010-02-28 Thread ma...@mendelu.cz
On 27 ún, 10:56, Burcin Erocal wrote: > Hi Robert, > > On Fri, 26 Feb 2010 17:14:22 -0800 (PST) > > "ma...@mendelu.cz" wrote: > > Holding symbolic expressions has been requested several times here. > > For example [1]-][4]. Is there something new in this topic? Now or in > > near future? > > He

Re: [sage-support] Re: graph circuits in Sage

2010-02-28 Thread David Joyner
On Sun, Feb 28, 2010 at 8:57 AM, Nathann Cohen wrote: > Hello > > By the fundamental circuits, do you mean a base of the Cycle space ? > If so, I have to admit I do not know how to do it... I just posted some code to compute the cycle space to http://sage.math.washington.edu/home/wdj/resear

Re: [sage-support] Re: graph circuits in Sage

2010-02-28 Thread Nathann Cohen
Hello By the fundamental circuits, do you mean a base of the Cycle space ? If so, I have to admit I do not know how to do it... If you want to compute a shortest cycle in a graph, though, I do not think the girth function can do it at the moment, but I agree it would be useful to have for su

[sage-support] Re: sage 4.3.3 fortan compilation problem

2010-02-28 Thread bourbabis
Right. It was indeed merely a "problem" of gfortran name. Thanks for your support. -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.g

[sage-support] Re: graph circuits in Sage

2010-02-28 Thread David Joyner
Here is a better version: def fundamental_cycle(G, T, e): """ Finds the unique cycle associated to the spanning tree T of G and the edge e of G not in T. INPUT: G - a connected graph T - a spanning tree e - an edge of G not in T OUTPUT: the uni

[sage-support] Re: graph circuits in Sage

2010-02-28 Thread David Joyner
I'll answer my own question:-) There is an easily written function which does this: def fundamental_cycle(G, T, e): """ Finds the unique cycle associated to the spanning tree T of G and the edge e of G not in T. INPUT: G - a connected graph T - a spanning tree

Re: [sage-support] Re: sage 4.3.3 fortan compilation problem

2010-02-28 Thread Alex Ghitza
Actually, reading the previous messages in this thread, it seems that gfortran is installed, but the executable is named "gfortran-4.3". Because of this, the prereq spkg doesn't find it (it's looking for an executable named "gfortran" in your PATH). If you have root access to this machine, I sug

[sage-support] graph circuits in Sage

2010-02-28 Thread David Joyner
Hi: I'm trying to compute fundamental circuits of a graph in Sage and am getting stuck. Is this implemented? Here is an example: sage: G = graphs.HeawoodGraph() sage: TG = G.subgraph(edges=G.min_spanning_tree()) sage: e = G.edges()[-1] sage: TG.edges() [(0, 1, None), (0, 5, None), (0, 13, None),

[sage-support] Re: eigenvectors of a 2x2 matrix

2010-02-28 Thread harven
On Feb 28, 5:44 am, Marshall Hampton wrote: > I'm not sure this is the best answer, but you could do: > > A = matrix(SR,[[a,b],[c,d]]) > v1,v2 = A.eigenvalues() > show((A-v1).left_kernel().basis()[0]) > show((A-v2).left_kernel().basis()[0]) > > Perhaps part of the issue is that these do not have

Re: [sage-support] Re: sage 4.3.3 fortan compilation problem

2010-02-28 Thread Minh Nguyen
Hi, On Sun, Feb 28, 2010 at 9:17 PM, bourbabis wrote: > checking for gfortran... no > checking whether we are using the GNU Fortran compiler... no > checking whether  accepts -g... no > configure: Since Sage 4.3.1 a Fortran compiler is required on all > operating > configure: systems except OS

[sage-support] Re: sage 4.3.3 fortan compilation problem

2010-02-28 Thread bourbabis
Hi. When I type "make" right after I've untared the source (without setting any environment variable) I get the following log : cd spkg && ./install all 2>&1 | tee -a ../install.log make[1]: entrant dans le répertoire « /opt/Sage-4.3.3/spk