[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread mabshoff
On Aug 25, 11:50 pm, "Ondrej Certik" <[EMAIL PROTECTED]> wrote: Hi, > >>> I think it's just about getting people to fix it. There are many > >>> people around who can fix Python/Cython and a little less (I guess) > >>> who can fix C++ and C. But a lot less who can fix lisp. > > > As I mentioned

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread Ondrej Certik
On Tue, Aug 26, 2008 at 8:43 AM, William Stein <[EMAIL PROTECTED]> wrote: > > On Mon, Aug 25, 2008 at 11:29 PM, Ondrej Certik <[EMAIL PROTECTED]> wrote: >> >> On Tue, Aug 26, 2008 at 12:49 AM, William Stein <[EMAIL PROTECTED]> wrote: >>> BTW, one important warning: ginac and sympycore are mis

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread Ondrej Certik
>>> I think it's just about getting people to fix it. There are many >>> people around who can fix Python/Cython and a little less (I guess) >>> who can fix C++ and C. But a lot less who can fix lisp. > > As I mentioned before, another big > problem is that lisp doesn't manipulate native Python ob

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 11:29 PM, Ondrej Certik <[EMAIL PROTECTED]> wrote: > > On Tue, Aug 26, 2008 at 12:49 AM, William Stein <[EMAIL PROTECTED]> wrote: >> >>> BTW, one important warning: ginac and sympycore are missing >>> assumptions and sympy only has very trivial ones, like positive, >>> nega

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread Ondrej Certik
On Tue, Aug 26, 2008 at 12:49 AM, William Stein <[EMAIL PROTECTED]> wrote: > >> BTW, one important warning: ginac and sympycore are missing >> assumptions and sympy only has very trivial ones, like positive, >> negative, integer, even, odd, etc. This is really important for any >> nontrivial thing

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread mabshoff
+1 from me to include Pynac/GiNaC in Sage, Martin Albrecht asked about the Windows porting issue: I looked at the GiNaC code and it is very clean C++. The maintainer is willing to merge MSVC related patches where needed, i.e. export statements for the symbols we need. I am not aware of any other

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread Robert Bradshaw
On Aug 25, 2008, at 8:35 AM, Gary Furnish wrote: > I've been trying to get an answer for this question for the last few > weeks: Is the plan to extend ginac (write algorithms in C) or to > extend sage (write new algorithms in Sage) using cython/python? I don't think this was addressed in the ema

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 10:48 PM, Tim Lahey <[EMAIL PROTECTED]> wrote: > > On Aug 26, 2008, at 1:43 AM, William Stein wrote: > >> >> On Mon, Aug 25, 2008 at 10:28 PM, Tim Lahey <[EMAIL PROTECTED]> wrote: > >>> It's the "programatically" part that makes it a bit more difficult. >>> so imagine doing

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 7:42 PM, William Stein <[EMAIL PROTECTED]> wrote: > On Mon, Aug 25, 2008 at 3:08 PM, David Philp <[EMAIL PROTECTED]> wrote: >> On 26/08/2008, at 2:50 AM, William Stein wrote: >> > Burcin -- I did actually mostly implement pattern matching in Pynac. >> >> Is there documentat

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread Robert Bradshaw
On Aug 25, 2008, at 1:59 AM, William Stein wrote: > Hi, > > I propose that pynac be included in Sage. > > Pynac is a rewrite of Ginac to seamlessly use native Python objects > instead > of CLN -- for inclusion in Sage. Pynac is a C++ library plus > extensive > Cython bindings. Pynac is a

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread Tim Lahey
On Aug 26, 2008, at 1:43 AM, William Stein wrote: On Mon, Aug 25, 2008 at 10:28 PM, Tim Lahey <[EMAIL PROTECTED]> wrote: It's the "programatically" part that makes it a bit more difficult. so imagine doing this with foo1 through foon and y1 through yn. So, I need to create y1 through yn a

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 10:28 PM, Tim Lahey <[EMAIL PROTECTED]> wrote: > > On Aug 26, 2008, at 1:14 AM, William Stein wrote: > >> Sounds good. Unfortunately I don't understand precisely what >> you're asking for. Do you want to do this? >> >> sage: x = var('x', ns=1) >> sage: from sage.symbolic.

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread Tim Lahey
On Aug 26, 2008, at 1:14 AM, William Stein wrote: Sounds good. Unfortunately I don't understand precisely what you're asking for. Do you want to do this? sage: x = var('x', ns=1) sage: from sage.symbolic.function import function sage: foo = function('foo',1) sage: expr = foo(x)^2 + foo(x)-1

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread Tim Lahey
On Aug 26, 2008, at 1:24 AM, Robert Dodier wrote: FWIW Maxima likes to see dy/dx in formulations of differential equations instead of dy(x)/dx so I think maybe this problem of whether y is a variable or a function doesn't really come into play; Maxima can always handle y as a variable. You cou

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread Robert Dodier
Tim Lahey wrote: > \frac{d}{d t}\left(\frac{\partial L}{\partial \dot{q_i}}\right) > = \left(\frac{\partial L}{\partial q_i}\right) > > where i=1,...,n and L(q_i,\dot{q_i},t). Note that q_i > is a function of at least t. This is the Euler-Lagrange > equation. It's the basis for most advanced dyna

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread mhampton
You have done a great job highlighting some of the things that are easy in mathematica and hard in sage. I don't see any answer to your points in the comments below. I suspect that a fairly serious rewrite of symbolic expressions will be necessary at some point to help this situation, but I don'

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 9:59 PM, Tim Lahey <[EMAIL PROTECTED]> wrote: > > On Aug 26, 2008, at 12:37 AM, William Stein wrote: > >> Well I really hope that you implement a bunch of stuff for inclusion in >> Sage! >> So far we have very very very few developers working on symbolic >> differential equ

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread Tim Lahey
On Aug 26, 2008, at 12:37 AM, William Stein wrote: Well I really hope that you implement a bunch of stuff for inclusion in Sage! So far we have very very very few developers working on symbolic differential equations stuff in Sage. (I.e., none, as far as I know.) Besides the code I already

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 9:34 PM, Tim Lahey <[EMAIL PROTECTED]> wrote: > > On Aug 26, 2008, at 12:23 AM, William Stein wrote: >> >> I only meant it as a definition to help clarify the discussion, not >> as an algorithm. Many thanks for your additional clarification. >> >> William >> > > Oh, I misu

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread Tim Lahey
On Aug 26, 2008, at 12:23 AM, William Stein wrote: I only meant it as a definition to help clarify the discussion, not as an algorithm. Many thanks for your additional clarification. William Oh, I misunderstood. If Sage can't take the derivative with respect to a function, I wouldn't be su

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 8:58 PM, Tim Lahey <[EMAIL PROTECTED]> wrote: > On Aug 25, 2008, at 11:45 PM, William Stein wrote: > >> >> The chain rule from calculus says that if f(x) = g(h(x)) then >> >> df/dx = (dg/dh) * (dh/dx). >> >> Dividing both sides by dh/dx we see that >> >>

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread David Philp
On 26/08/2008, at 2:12 PM, William Stein wrote: >> I actually don't understand this. For both pynac and the existing >> maxima link, I think you must already have some method of >> transforming >> a python object to and from lisp-like expressions. > > Pynac works with objects that are simply

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 8:55 PM, David Philp <[EMAIL PROTECTED]> wrote: > On 26/08/2008, at 12:42 PM, William Stein wrote: > >> 1) Let me clarify -- I *wrapped* the pattern matching already in >> Pynac. > ... >> and you >> can read about Ginac at the Ginac website: http://www.ginac.de/ > > Thanks

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread Tim Lahey
On Aug 25, 2008, at 11:45 PM, William Stein wrote: The chain rule from calculus says that if f(x) = g(h(x)) then df/dx = (dg/dh) * (dh/dx). Dividing both sides by dh/dx we see that dg / dh = (df /dx) / (dh/dx). I thus suspect that when you say "differentiate g(h(x))

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread David Philp
On 26/08/2008, at 12:42 PM, William Stein wrote: > 1) Let me clarify -- I *wrapped* the pattern matching already in > Pynac. ... > and you > can read about Ginac at the Ginac website: http://www.ginac.de/ Thanks for the clarification. Sorry I missed the post about pynac--- I'm fairly quick

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 8:40 PM, Tim Lahey <[EMAIL PROTECTED]> wrote: > Robert, > > That's not what I'm looking for (I think). > The following equation is what I normally deal with > using LaTeX notation, > > \frac{d}{d t}\left(\frac{\partial L}{\partial \dot{q_i}}\right) > = \left(\frac{\partial

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread Tim Lahey
Robert, That's not what I'm looking for (I think). The following equation is what I normally deal with using LaTeX notation, \frac{d}{d t}\left(\frac{\partial L}{\partial \dot{q_i}}\right) = \left(\frac{\partial L}{\partial q_i}\right) where i=1,...,n and L(q_i,\dot{q_i},t). Note that q_i is a

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread Robert Bradshaw
On Aug 25, 2008, at 8:28 PM, William Stein wrote: > On Mon, Aug 25, 2008 at 8:25 PM, Robert Bradshaw > <[EMAIL PROTECTED]> wrote: >> >> On Aug 25, 2008, at 8:05 PM, Robert Dodier wrote: >> >>> Tim Lahey wrote: >>> I presume that Sage can't take a derivative with respect to a function >>

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 8:25 PM, Robert Bradshaw <[EMAIL PROTECTED]> wrote: > > On Aug 25, 2008, at 8:05 PM, Robert Dodier wrote: > >> Tim Lahey wrote: >> >>> I presume that Sage can't take a derivative with respect to a >>> function >>> (Maple can't which is why this code is written this way). >>

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread Tim Lahey
On Aug 25, 2008, at 10:32 PM, Robert Dodier wrote: Dunno if it really matters, but I couldn't resist the opportunity to translate the function in question to Maxima ... euler_lagrange (Lagrangian, variables) := block ([num_list, qv_name, vel_var, qv_subs, qv_unsubs, Lagrange_subs1, Lagran

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread Robert Bradshaw
On Aug 25, 2008, at 8:05 PM, Robert Dodier wrote: > Tim Lahey wrote: > >> I presume that Sage can't take a derivative with respect to a >> function >> (Maple can't which is why this code is written this way). > > By the way, what do you mean by that? What is the operation that > you would like

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread Tim Lahey
Robert, Taking the derivative with respect to a function is something like diff(L,u(x,t)); and also diff(L,diff(u(x,t),t)); where L may contain terms with u(x,t) and diff(u(x,t),t). So, u(x,t) is a function, not just a symbolic variable. These terms pop up in the Euler-Lagrange equation whic

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread Robert Dodier
Tim Lahey wrote: > I presume that Sage can't take a derivative with respect to a function > (Maple can't which is why this code is written this way). By the way, what do you mean by that? What is the operation that you would like to do, but fails? Thanks for the info. Robert Dodier --~--~-

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread Robert Dodier
Jason Merrill wrote: > pbe = r^2 p''[r] + 2 r p'[r] == r^2 k^2 Sinh[p[r]] > diffEqOrder[eqn_, y_, x_] := > Max[Cases[pbe, Derivative[o_][y][x] -> o, Infinity]] > firstOrderForm[eqn_, y_, x_] := > Module[{rep, order = diffEqOrder[eqn, y, x]}, > rep = Solve[ > eqn /. {Derivative[o_][y][x]

[sage-devel] Re: Changing line() and text() to not generate 3d objects

2008-08-25 Thread Mike Hansen
> -1 > > I also don't like this change. It seems pretty unambiguous what I > want to do if I pass line() a list with three dimensional > coordinates. I want a 3D line. I don't really understand the > rationale for this change. > > 1. and 3. above seem like correct behavior. 2. should throw an

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread William Stein
> I'm afraid I'm straying off topic, but I thought I'd use the above > code as a jumping off point to say a few more things about pattern Given the topic which is "Mathematica pattern matching", this email is 100% on topic, and I *definitely* appreciate it! > matching and Mathematica, since ther

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 3:43 PM, David Philp <[EMAIL PROTECTED]> wrote: > > > On 26/08/2008, at 8:15 AM, Ondrej Certik wrote: > >>> Is "not extending of Maxima" a concrete policy? I understand that >>> maxima >>> sucks in some circumstances, but it seems quite the beast here. >>> I am quite confu

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 3:08 PM, David Philp <[EMAIL PROTECTED]> wrote: > On 26/08/2008, at 2:50 AM, William Stein wrote: > > Burcin -- I did actually mostly implement pattern matching in Pynac. > > Is there documentation? A bit of google turned up nothing. (1) Let me clarify -- I *wrapped* the

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-25 Thread Robert Dodier
Tim Lahey wrote: > 3. Somewhat related to #1, is the ability to make new variables/ > function names from old ones. For example, when in the Calculus of > Variations, I'll create the variation function with a name based on > the function to be varied (e.g., v(x,y,z,t) to \delta v(x,y,z,t)). > I a

[sage-devel] Re: Changing line() and text() to not generate 3d objects

2008-08-25 Thread Jason Merrill
On Aug 21, 6:54 pm, Robert Bradshaw <[EMAIL PROTECTED]> wrote: > On Thu, 21 Aug 2008, Jason Grout wrote: > > > What do people think of changing line() and text() to only give 2d > > graphics.  Currently, the behavior for line() seems to be something > > like, passing in a list of coordinates: > >

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread Jason Merrill
On Aug 24, 6:55 pm, Jason Merrill <[EMAIL PROTECTED]> wrote: > In hopes that it may be a useful reference during the current work on > symbolics, I wrote a toy Mathematica program for transforming a single > higher order ODE into a system of first order ODEs.  Most of the free > numerical differen

[sage-devel] Re: missing imports for experimental module for Sage

2008-08-25 Thread David Joyner
On Mon, Aug 25, 2008 at 9:33 AM, Philippe Saade <[EMAIL PROTECTED]> wrote: > > On Mon, Aug 25, 2008 at 2:41 PM, David Joyner <[EMAIL PROTECTED]> wrote: >> >> On Mon, Aug 25, 2008 at 8:20 AM, Philippe Saade <[EMAIL PROTECTED]> wrote: >>> > nybody give me a hint ? >> >> >> Did you add it to devel/sa

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread Jason Merrill
On Aug 25, 12:50 pm, "William Stein" <[EMAIL PROTECTED]> wrote: > On Mon, Aug 25, 2008 at 4:47 AM, Burcin Erocal <[EMAIL PROTECTED]> wrote: > > > On Sun, 24 Aug 2008 15:55:25 -0700 (PDT) > > Jason Merrill <[EMAIL PROTECTED]> wrote: > > >> In hopes that it may be a useful reference during the curre

[sage-devel] Re: a new language

2008-08-25 Thread ahmet alper parker
thanks for your comments :) I think you all are right... :) On Tue, Aug 26, 2008 at 2:08 AM, Justin C. Walker <[EMAIL PROTECTED]> wrote: > > #include "0.014 e" > > On Aug 25, 2008, at 3:17 PM, ahmet alper parker wrote: > > > Hi all, > > I am not a computer scientist and nor I have much experience

[sage-devel] Re: a new language

2008-08-25 Thread Justin C. Walker
#include "0.014 e" On Aug 25, 2008, at 3:17 PM, ahmet alper parker wrote: > Hi all, > I am not a computer scientist and nor I have much experience like > you. So my > question may not be too much meaningful, but I want to ask it :) > All I see > in the opensource industry that people do many

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread William Stein
> BTW, one important warning: ginac and sympycore are missing > assumptions and sympy only has very trivial ones, like positive, > negative, integer, even, odd, etc. This is really important for any > nontrivial things in a CAS and I changes to the core may be needed. I > really want to have assum

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread David Philp
On 26/08/2008, at 8:15 AM, Ondrej Certik wrote: >> Is "not extending of Maxima" a concrete policy? I understand that >> maxima >> sucks in some circumstances, but it seems quite the beast here. >> I am quite confused about a lot of the pattern matching >> discussion. AFAICT, >> that is the

[sage-devel] Re: a new language

2008-08-25 Thread Mike Hansen
Hello, > So, can't someone develop a new programming language > that could interact all the  properties of the  most widely used languages? > Again sorry if the question is not meaningful :) I think creating a new language would hurt the problem more than help it since you have yet another langu

[sage-devel] Re: [sympy] Re: [sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread William Stein
> For example pynac uses > > sin(x).seires(x, 5) Actually, more precisely pynac uses: sin(x).series(x == 3, 5) to get a taylor expansion about x = 3. I did this only for consistency with GiNaC, since that is what GiNaC does. > > sympy uses > > sin(x).series(x, 0, 5) > > and sage uses > > s

[sage-devel] a new language

2008-08-25 Thread ahmet alper parker
Hi all, I am not a computer scientist and nor I have much experience like you. So my question may not be too much meaningful, but I want to ask it :) All I see in the opensource industry that people do many good programs, but most of them are some duplicate and much of them are not too much functio

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 1:41 PM, Gary Furnish <[EMAIL PROTECTED]> wrote: > > " > Make it so sympy also runs on top of GiNaC. This will force the creation > of a clear interface specification. > " > > If there is going to be a clear interface spec, then we should go and > make a clear interface sp

[sage-devel] Re: GIAC

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 12:34 PM, parisse <[EMAIL PROTECTED]> wrote: > >> I meant stuff like this: >> >> """ >> Installing the required libraries from source (recommended) >> >> * CoCoA 0.99 (for faster Groebner basis). >> """ >> >> Sage already has "faster Groebner bases" since it included

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread Ondrej Certik
> Is "not extending of Maxima" a concrete policy? I understand that maxima > sucks in some circumstances, but it seems quite the beast here. > I am quite confused about a lot of the pattern matching discussion. AFAICT, > that is the problem for which lisp rocks, and the best way to do it is I t

[sage-devel] Re: [sympy] Re: [sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread Ondrej Certik
>> I definitely want to have a version of pynac outside sage. But keep >> in mind again that pynac is GPL'd, and given your mission statement >> for sympy, I think it is not an option for you to depend only on something >> GPL'd as the only option. As I see it, an important part of the >> sympy

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread David Philp
On 26/08/2008, at 2:50 AM, William Stein wrote: > Burcin -- I did actually mostly implement pattern matching in Pynac. Is there documentation? A bit of google turned up nothing. >sage: sin(1+sin(x)).subs(sin(w0)==cos(w0)) >cos(cos(x) + 1) In Mathematica, the result wou

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread Ondrej Certik
On Mon, Aug 25, 2008 at 10:41 PM, Gary Furnish <[EMAIL PROTECTED]> wrote: > > " > Make it so sympy also runs on top of GiNaC. This will force the creation > of a clear interface specification. > " > > If there is going to be a clear interface spec, then we should go and > make a clear interface s

[sage-devel] Re: [sympy] Re: [sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread Ondrej Certik
>> I think porting the limits is quite easy, but unfortunately ginac >> series expansion is not sophisticated enough for more complicated >> limits (at least last time I tried, it was I think 2 years ago), so >> you will have to port the sympy's series expansion as well, or improve >> ginac series

[sage-devel] Re: small bug in multivariate comparison

2008-08-25 Thread Carl Witty
On Aug 25, 12:28 pm, Nick Alexander <[EMAIL PROTECTED]> wrote: > Do people agree that the first False should be True? > > {{{ > sage: x, y = QQ['x', 'y'].gens() > sage: R. = QQ[] > sage: (x / y)*y in R > False > sage: R((x / y)*y) == x > True > sage: R((x / y)*y) == (x/y)*y > True > }}} Yes. Pro

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread Gary Furnish
" Make it so sympy also runs on top of GiNaC. This will force the creation of a clear interface specification. " If there is going to be a clear interface spec, then we should go and make a clear interface spec so that anyone, not just GiNaC can potentially conform to it. Perhaps this is the be

[sage-devel] Re: Comparing complex numbers

2008-08-25 Thread Kurt
On Aug 24, 12:02 pm, "William Stein" <[EMAIL PROTECTED]> wrote: >[...] > Just as another data point, since I happened to see it when reading > source code, in the Ginac library (http://www.ginac.de) we find this comment: > >   /** This method establishes a canonical order on all numbers.  For co

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread Ondrej Certik
> >sage: from sage.symbolic.function import function >sage: var('r,kappa', ns=1) >(r, kappa) >sage: psi = function('psi', 1)(r); psi >psi(r) >sage: g = 1/r^2*(2*r*psi.diff(r,1) + r^2*psi.diff(r,2)); g >(2*psi(1,r)*r + psi(2,r)*r^2)*r^(-2) >

[sage-devel] trac report for "Tickets in which I have participated"

2008-08-25 Thread Jason Grout
Is there an easy way to create a trac report that lists all the tickets in which I have participated (e.g., created, commented on, in the CC list, am the editor, etc.). For me, this would serve as a "Tickets on which I should follow up" report... This request is trac ticket #3951 Thanks, Ja

[sage-devel] small bug in multivariate comparison

2008-08-25 Thread Nick Alexander
Do people agree that the first False should be True? {{{ sage: x, y = QQ['x', 'y'].gens() sage: R. = QQ[] sage: (x / y)*y in R False sage: R((x / y)*y) == x True sage: R((x / y)*y) == (x/y)*y True }}} For comparison: {{{ sage: (2 / 3)*3 in ZZ True }}} Nick --~--~-~--~~

[sage-devel] Re: GIAC

2008-08-25 Thread parisse
> I meant stuff like this: > > """ > Installing the required libraries from source (recommended) >   >  * CoCoA 0.99 (for faster Groebner basis). > """ > > Sage already has "faster Groebner bases" since it included Singular. There is >   > a lot of stuff like that in Xcas/Giac like that Sage

[sage-devel] Re: missing imports for experimental module for Sage

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 10:33 AM, Philippe Saade <[EMAIL PROTECTED]> wrote: > > On Mon, Aug 25, 2008 at 6:45 PM, William Stein <[EMAIL PROTECTED]> wrote: >> i'am testing a Python module i wrote and placed it in one of the pathes visited by Sage's Python while importing. I try t

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 2:42 AM, Ondrej Certik <[EMAIL PROTECTED]> wrote: > >> VOTE: >> [ ] Yes, include Pynac in Sage >> [ ] No, do not (please explain) >> [ ] Hmm, I have questions (please ask). > > I don't know if my vote counts, but I am of course +1. Your vote counts. > Thanks for pionee

[sage-devel] Re: missing imports for experimental module for Sage

2008-08-25 Thread Philippe Saade
On Mon, Aug 25, 2008 at 6:45 PM, William Stein <[EMAIL PROTECTED]> wrote: > >>> i'am testing a Python module i wrote and placed it in one of the >>> pathes visited by Sage's Python while importing. >>> >>> I try to do the necessary imports at the beginning of my module but it >>> seem's to be an e

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 8:35 AM, Gary Furnish <[EMAIL PROTECTED]> wrote: > > I've been trying to get an answer for this question for the last few > weeks: Is the plan to extend ginac (write algorithms in C) or to > extend sage (write new algorithms in Sage) using cython/python? The plan is defini

[sage-devel] Re: GIAC

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 9:23 AM, parisse <[EMAIL PROTECTED]> wrote: > >> The official guidelines for inclusion of new packages are: >> >> > = License = >> > GPL version 2+ compatible license. (This will be publicly revisited around >> > Jan 15, 2009.) >> >> GIAC seems to be GPL v3+ according to Mi

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 8:54 AM, didier deshommes <[EMAIL PROTECTED]> wrote: > > On Mon, Aug 25, 2008 at 4:59 AM, William Stein <[EMAIL PROTECTED]> wrote: >> >> Hi, >> >> I propose that pynac be included in Sage. >> >> VOTE: >> [ ] Yes, include Pynac in Sage >> [ ] No, do not (please explain) >>

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 7:12 AM, parisse <[EMAIL PROTECTED]> wrote: > > I still do not understand why giac is not even mentionned in the > symbolic discussion considering the fact that like ginac, it is a C++ I was able to very quickly get a good understanding of the Ginac codebase, and make fund

[sage-devel] Re: Problem building sage 3.1 on Debian lenny amd 64

2008-08-25 Thread mabshoff
On Aug 25, 1:45 am, Thierry Dumont <[EMAIL PROTECTED]> wrote: > Hi, Hi, > I try to compile sage on my opteron machine. > > When compiling flint, I get the ld error message: > /usr/bin/ld: cannot find -lstdc++ > > Th "ld" lines are: > > g++  -I/usr/local/sage-3.1/local/include/ > -I/usr/local/s

[sage-devel] Re: [Knoboo-devel] Templating engine for the Notebook

2008-08-25 Thread alex clemesha
On Mon, Aug 25, 2008 at 4:39 AM, Timothy Clemans <[EMAIL PROTECTED]> wrote: > > Hi, > > Regarding the Sage Notebook, I propose that we use a templating engine > instead of using Python string templates class and writing HTML code > in the Python code. I have converted the existing templates in Ext

[sage-devel] Re: Templating engine for the Notebook

2008-08-25 Thread Carl Witty
On Aug 25, 4:39 am, "Timothy Clemans" <[EMAIL PROTECTED]> wrote: > Hi, > > Regarding the Sage Notebook, I propose that we use a templating engine > instead of using Python string templates class and writing HTML code > in the Python code. I think this is a great idea. > If Sphinx, a documentatio

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 5:56 AM, Jason Merrill <[EMAIL PROTECTED]> wrote: > > On Aug 25, 7:46 am, "Ondrej Certik" <[EMAIL PROTECTED]> wrote: >> On Mon, Aug 25, 2008 at 12:55 AM, Jason Merrill <[EMAIL PROTECTED]> wrote: >> >> > In hopes that it may be a useful reference during the current work on >

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 4:47 AM, Burcin Erocal <[EMAIL PROTECTED]> wrote: > > On Sun, 24 Aug 2008 15:55:25 -0700 (PDT) > Jason Merrill <[EMAIL PROTECTED]> wrote: > >> >> In hopes that it may be a useful reference during the current work on >> symbolics, I wrote a toy Mathematica program for transf

[sage-devel] Re: missing imports for experimental module for Sage

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 5:41 AM, David Joyner <[EMAIL PROTECTED]> wrote: > > On Mon, Aug 25, 2008 at 8:20 AM, Philippe Saade <[EMAIL PROTECTED]> wrote: >> >> Hi, >> >> i'am testing a Python module i wrote and placed it in one of the >> pathes visited by Sage's Python while importing. >> >> I try t

[sage-devel] Re: Templating engine for the Notebook

2008-08-25 Thread William Stein
On Mon, Aug 25, 2008 at 4:39 AM, Timothy Clemans <[EMAIL PROTECTED]> wrote: > Hi, > > Regarding the Sage Notebook, I propose that we use a templating engine > instead of using Python string templates class and writing HTML code > in the Python code. I have converted the existing templates in Extco

[sage-devel] Re: GIAC

2008-08-25 Thread Martin Albrecht
> > Also Giac comes with a lot of stuff that is already in Sage, while Ginac > > only does stuff that is not there yet (fast symbolic arithmetic) > > ??? > What do you mean by fast symbolic arithmetic? Ginac does basic fast > symbolic arithmetic (+,*), Giac does in addition gcd, factor, > integrat

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread parisse
> Also noone > has tried to write the Cython wrappers for it, > I hoped Bernard would try it, but I really don't have time for this now. > > Ondrej I don't have the time right now to learn how to write Cython wrappers. Unfortunately I may end up being obliged (once again) to do it myself to attra

[sage-devel] Re: GIAC

2008-08-25 Thread parisse
> The official guidelines for inclusion of new packages are: > > > = License = > > GPL version 2+ compatible license. (This will be publicly revisited around > > Jan 15, 2009.) > > GIAC seems to be GPL v3+ according to Michael Abshoff? > I can re-license it to GPL 2 (maybe some optional libraries

[sage-devel] Re: 3 edits - [Re: [sage-devel] trivial typo on "Help and Support" page]

2008-08-25 Thread Minh Nguyen
Hi Harald, On Sat, Aug 23, 2008 at 11:50 AM, Harald Schilly <[EMAIL PROTECTED]> wrote: >> This is a typo for you to fix... > > thx for the proofreading. I've uploaded your changes. Still a typo at the URL: http://www.sagemath.org/download.html The very last bold heading at the bottom of that p

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread didier deshommes
On Mon, Aug 25, 2008 at 4:59 AM, William Stein <[EMAIL PROTECTED]> wrote: > > Hi, > > I propose that pynac be included in Sage. > > VOTE: > [ ] Yes, include Pynac in Sage > [ ] No, do not (please explain) > [ ] Hmm, I have questions (please ask). I have a question: what will happen to gfurnish

[sage-devel] GIAC

2008-08-25 Thread Martin Albrecht
On Monday 25 August 2008, parisse wrote: > I still do not understand why giac is not even mentionned in the > symbolic discussion considering the fact that like ginac, it is a C++ > library, but unlike ginac (Ginac Is Not A Cas), giac (Giac Is A Cas) > has much more advanced calculus functions (ei

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread parisse
> I can't speak for anyone else (hence I can't really answer your > question) but I have had problems compiling giac for amd64 hardy heron. > I'm fairly impatient though, and maybe if I tried harder I could have > gotten something to compile. I did spend maybe 30 minutes on it > and gave up. >

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread Ondrej Certik
On Mon, Aug 25, 2008 at 5:24 PM, Burcin Erocal <[EMAIL PROTECTED]> wrote: > > Hi, > > On Mon, 25 Aug 2008 07:12:27 -0700 (PDT) > parisse <[EMAIL PROTECTED]> wrote: > >> I still do not understand why giac is not even mentionned in the >> symbolic discussion considering the fact that like ginac, it

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread Gary Furnish
I've been trying to get an answer for this question for the last few weeks: Is the plan to extend ginac (write algorithms in C) or to extend sage (write new algorithms in Sage) using cython/python? This is very much a design related question, and in the hurry to get GiNaC through review I feel th

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread Burcin Erocal
Hi, On Mon, 25 Aug 2008 07:12:27 -0700 (PDT) parisse <[EMAIL PROTECTED]> wrote: > I still do not understand why giac is not even mentionned in the > symbolic discussion considering the fact that like ginac, it is a C++ > library, but unlike ginac (Ginac Is Not A Cas), giac (Giac Is A Cas) > has

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread David Joyner
On Mon, Aug 25, 2008 at 10:12 AM, parisse <[EMAIL PROTECTED]> wrote: > > I still do not understand why giac is not even mentionned in the > symbolic discussion considering the fact that like ginac, it is a C++ > library, but unlike ginac (Ginac Is Not A Cas), giac (Giac Is A Cas) > has much more a

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread parisse
I still do not understand why giac is not even mentionned in the symbolic discussion considering the fact that like ginac, it is a C++ library, but unlike ginac (Ginac Is Not A Cas), giac (Giac Is A Cas) has much more advanced calculus functions (either functionnalities like limits, integration) a

[sage-devel] Re: Sage mentioned in American Scientist

2008-08-25 Thread Tim Abbott
On Aug 24, 4:45 pm, iSAGE <[EMAIL PROTECTED]> wrote: > This is exciting news. Just curious about the debian package - it will > probably not have many of the optional packages. What will be the > procedure to install optional packages then? For example, I am > interested in nauty, which I believe

[sage-devel] Re: missing imports for experimental module for Sage

2008-08-25 Thread Philippe Saade
On Mon, Aug 25, 2008 at 2:41 PM, David Joyner <[EMAIL PROTECTED]> wrote: > > On Mon, Aug 25, 2008 at 8:20 AM, Philippe Saade <[EMAIL PROTECTED]> wrote: >> nybody give me a hint ? > > > Did you add it to devel/sage/setup.py? > No and honestly, i don't fully understand the way that file is structur

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread Ondrej Certik
>> Thanks for doing this. It is indeed very useful, I always wondered how >> things like this are done in Mathematica. >> >> Any ideas how this could be nicely translated to Python? >> >> Ondrej > > I thought you were going to tell me that sympy already does this. I > believe I saw an example som

[sage-devel] Re: Sage Notebook CSS

2008-08-25 Thread john_perry_usm
Found it. I was missing a div.worksheet_title. regards john perry On Aug 22, 12:00 pm, john_perry_usm <[EMAIL PROTECTED]> wrote: > Hi, > > I've been working with this recently and I'm wondering which CSS tag I > should change for the background color of the table whose id is > "topbar". It doesn

[sage-devel] Re: Manipulating diff. eqs. in Mathematica using pattern matching

2008-08-25 Thread Jason Merrill
On Aug 25, 7:46 am, "Ondrej Certik" <[EMAIL PROTECTED]> wrote: > On Mon, Aug 25, 2008 at 12:55 AM, Jason Merrill <[EMAIL PROTECTED]> wrote: > > > In hopes that it may be a useful reference during the current work on > > symbolics, I wrote a toy Mathematica program for transforming a single > > hig

[sage-devel] Re: missing imports for experimental module for Sage

2008-08-25 Thread David Joyner
On Mon, Aug 25, 2008 at 8:20 AM, Philippe Saade <[EMAIL PROTECTED]> wrote: > > Hi, > > i'am testing a Python module i wrote and placed it in one of the > pathes visited by Sage's Python while importing. > > I try to do the necessary imports at the beginning of my module but it > seem's to be an en

[sage-devel] Re: Comparing complex numbers

2008-08-25 Thread William Stein
On Sat, Aug 23, 2008 at 7:09 PM, Nils Bruin <[EMAIL PROTECTED]> wrote: > On Aug 23, 1:27 pm, "William Stein" <[EMAIL PROTECTED]> wrote: > >> Did you read through the article Alfredo Portes posted, which >> also explains some of the gotchas and subtleties of disallowing >> comparisons? I'm curiou

[sage-devel] missing imports for experimental module for Sage

2008-08-25 Thread Philippe Saade
Hi, i'am testing a Python module i wrote and placed it in one of the pathes visited by Sage's Python while importing. I try to do the necessary imports at the beginning of my module but it seem's to be an endless quest. I am not an experienced Python user. Can anybody give me a hint ? (rem : t

[sage-devel] Re: Templating engine for the Notebook

2008-08-25 Thread Harald Schilly
Hi On Aug 25, 1:39 pm, "Timothy Clemans" <[EMAIL PROTECTED]> wrote: > I am very interested in the possibility > of migrating the Sage Notebook to Django. Moving all the Notebook's > HTML to Jinja templates is the first step in migrating. My comments on that are based on my experience with someth

[sage-devel] Re: Proposal for inclusion of GINAC/pynac-0.1 in Sage.

2008-08-25 Thread David Joyner
On Mon, Aug 25, 2008 at 4:59 AM, William Stein <[EMAIL PROTECTED]> wrote: > > Hi, > > I propose that pynac be included in Sage. > > Pynac is a rewrite of Ginac to seamlessly use native Python objects instead > of CLN -- for inclusion in Sage. Pynac is a C++ library plus extensive > Cython bindi

  1   2   >