[sage-devel] Re: Symlinks to sage don't work unless ...

2008-04-30 Thread mabshoff
Hi Max, the patch you suggested has been cleaned up, reviewed and applied. Since you contributed to Sage we will add you to http://lite.sagemath.org/developer-map.html if you are interested. Feel free to contact me off list for the details. Cheers, Michael

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Bill Page
On Wed, Apr 30, 2008 at 1:57 AM, William Stein wrote: Hi, I'm giving a plenary talk at ISSAC in Linz, Austria this summer. I'm supposed to write a 2-page abstract/paper for the proceedings. I just wrote something: http://sage.math.washington.edu/home/was/tmp/abstract.pdf

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Roman Pearce
BTW, asking for contributors is the surest way to get zero contributors. You should invite people to try Sage (online) and to download it so it runs faster. Also, I thought of another great reason why they would like Sage. Many of these people write their own libraries. Then you have to write

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Roman Pearce
On Apr 29, 11:57 pm, William Stein [EMAIL PROTECTED] wrote: I'm giving a plenary talk at ISSAC in Linz, Austria this summer.  I'm supposed to write a 2-page abstract/paper for the proceedings.  I just wrote something:    http://sage.math.washington.edu/home/was/tmp/abstract.pdf I think what

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Michael Brickenstein
I would be interested in real word use cases, which demonstrate, why such a system is needed. E.g., I think Simon king did some cool things involving at least Singular, GAP, Cython... On 30 Apr., 12:00, Roman Pearce [EMAIL PROTECTED] wrote: BTW, asking for contributors is the surest way to get

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread David Joyner
I like it but perhaps I am prejudiced:-) IMHO, SAGE would be dead (or at least a very lonely research project) if it weren't for the fact that it is free and open source. But also, design is an important factor. Some ideas (I hesitate to call them suggestions since it seems fine as is): 1.

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread mhampton
I agree somewhat with others here that you might want to make this a little more 'technical'. I would start with your sentence Sage itself is... - describe what it is first, then some of its capabilities and technical advantages. As far as open-source and free, I think the best thing is to

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Simon King
Dear Michael, On Apr 30, 12:15 pm, Michael Brickenstein [EMAIL PROTECTED] wrote: I would be interested in real word use cases, which demonstrate, why such a system is needed. E.g., I think Simon king did some cool things involving at least Singular, GAP, Cython... Do you call the

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Simon King
Hi, On Apr 30, 12:26 pm, David Joyner [EMAIL PROTECTED] wrote: 3. A specific example could be mentioned which smoothly integrates several systems. As Michael B suggests, a group invariant computation in a number field mixes GAP (for groups), Pari for the number field (is this correct?), and

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Michael Brickenstein
Hi Simon! Do you call the computation of cohomology rings of finite p-groups a real world application?? Sorry, I used the wrong terms. I meant something like: nothing synthetic, just composing a few features, but demonstrating, how SAGE can be used to compute an actual research problem. I was

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Michael Brickenstein
By the way, for me it matters most that Python is a *beautiful* language. Michael On 30 Apr., 14:02, Michael Brickenstein [EMAIL PROTECTED] wrote: Hi Simon! Do you call the computation of cohomology rings of finite p-groups a real world application?? Sorry, I used the wrong terms. I

[sage-devel] Fwd: Fwd: [sage-devel] A Sage Enhancement Proposal: Lattice Modules

2008-04-30 Thread William Stein
-- Forwarded message -- From: Gabriele Nebe [EMAIL PROTECTED] Date: Wed, Apr 30, 2008 at 6:18 AM Subject: Re: Fwd: [sage-devel] A Sage Enhancement Proposal: Lattice Modules To: William Stein [EMAIL PROTECTED] Dear William, I am in the moment on a conference in Albania and

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread David Joyner
On Wed, Apr 30, 2008 at 7:46 AM, Simon King [EMAIL PROTECTED] wrote: Dear Michael, On Apr 30, 12:15 pm, Michael Brickenstein [EMAIL PROTECTED] wrote: I would be interested in real word use cases, which demonstrate, why such a system is needed. E.g., I think Simon king did some

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread William Stein
On Wed, Apr 30, 2008 at 12:02 AM, Bill Page [EMAIL PROTECTED] wrote: On Wed, Apr 30, 2008 at 1:57 AM, William Stein wrote: Hi, I'm giving a plenary talk at ISSAC in Linz, Austria this summer. I'm supposed to write a 2-page abstract/paper for the proceedings. I just wrote

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread William Stein
On Wed, Apr 30, 2008 at 2:34 AM, Roman Pearce [EMAIL PROTECTED] wrote: On Apr 29, 11:57 pm, William Stein [EMAIL PROTECTED] wrote: I'm giving a plenary talk at ISSAC in Linz, Austria this summer. I'm supposed to write a 2-page abstract/paper for the proceedings. I just wrote

[sage-devel] Re: Symlinks to sage don't work unless ...

2008-04-30 Thread M
Many thanks. Regards, Max --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs:

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread William Stein
On Wed, Apr 30, 2008 at 3:26 AM, David Joyner [EMAIL PROTECTED] wrote: I like it but perhaps I am prejudiced:-) IMHO, SAGE would be dead (or at least a very lonely research project) if it weren't for the fact that it is free and open source. Sage would certainly not be dead even if I

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Martin Albrecht
You seem to be anti-open source in your own work, which is what *really* matters to you. It's my understanding that you've written a very interesting library in computer algebra and it is closed source. Correct me if I'm wrong, but I have the impression you generally don't see the value

[sage-devel] Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread Martin Albrecht
Hi, I don't know if that is of any interest but someone around here might care about the fact that Sage was probably the most mentioned (and cited) mathematics software at the First Conference for Symbolic Computation and Cryptography (SCC 2008) in Beijing. Specifically, these

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Simon King
Dear Martin, dear William, On Apr 30, 4:39 pm, Martin Albrecht [EMAIL PROTECTED] wrote: snip If I understood the e-mail correctly then Roman implied that at *this particular meeting* asking for contributors might be perceived as annoying? Thus he shared his opinion to help us to make the

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread William Stein
On Wed, Apr 30, 2008 at 7:39 AM, Martin Albrecht [EMAIL PROTECTED] wrote: You seem to be anti-open source in your own work, which is what *really* matters to you. It's my understanding that you've written a very interesting library in computer algebra and it is closed source.

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread William Stein
On Wed, Apr 30, 2008 at 7:48 AM, Martin Albrecht [EMAIL PROTECTED] wrote: Hi, I don't know if that is of any interest but someone around here might care about the fact that Sage was probably the most mentioned (and cited) mathematics software at the First Conference for Symbolic

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Bill Page
On Wed, Apr 30, 2008 at 9:53 AM, William Stein wrote: On Wed, Apr 30, 2008 at 12:02 AM, Bill Page wrote: On Wed, Apr 30, 2008 at 1:57 AM, William Stein wrote: I'm giving a plenary talk at ISSAC in Linz, Austria this summer. I'm supposed to write a 2-page

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread David Joyner
On Wed, Apr 30, 2008 at 10:48 AM, Martin Albrecht [EMAIL PROTECTED] wrote: Hi, I don't know if that is of any interest but someone around here might care about the fact that Sage was probably the most mentioned (and cited) mathematics software at the First Conference for Symbolic

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread William Stein
On Wed, Apr 30, 2008 at 8:10 AM, Bill Page [EMAIL PROTECTED] wrote: [...] Bill, Thanks for elaborating and clarifying your thoughts. I've posted a new version of the abstract here: http://sage.math.washington.edu/home/was/tmp/abstract2.pdf You guys might dislike it even more. We'll see :-)

[sage-devel] Fwd: [Cython] Porting the Docs

2008-04-30 Thread William Stein
Hi, Cython now has beautiful-to-behold documentation. See below. -- Forwarded message -- From: Gabriel Gellner [EMAIL PROTECTED] Date: Wed, Apr 30, 2008 at 8:39 AM Subject: Re: [Cython] Porting the Docs To: Cython-dev [EMAIL PROTECTED] So I have finished the first rough

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread Nathan Dunfield
So, I vote +1 to include it at least as an optional package. Making it a standard part of SAGE should IMHO wait until a solid FreeGroup and FinitelyPresentedGroup (Python) class are created for SAGE. If I had more time I would do this myself. Yeah, it would be great if SAGE had support of

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Simon King
Dear William, in line 3, it should be could, not ncould. IMO, you should mention Cython. In fact, i started to use Sage mainly because Cython made it possible to easily use the C-programs of my boss. Otherwise i would have had tried to do everything in Singular. But i guess you will mention

[sage-devel] Re: Fwd: Fwd: [sage-devel] A Sage Enhancement Proposal: Lattice Modules

2008-04-30 Thread John Cremona
I think we also want some version of Denis Simon's indefinite LLL. As a student of Henri Cohen he may have sworn a lifetime vow of allegiance to pari; otherwise this might be something we could use to lure him into Sage! John 2008/4/30 William Stein [EMAIL PROTECTED]: -- Forwarded

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Roman Pearce
On Apr 30, 8:09 am, William Stein [EMAIL PROTECTED] wrote: The open source philosophy is the entire reason for the existence of Sage. That may be true, but it won't sell. There have been other open source systems before Sage (Axiom, Maxima, ...) and very good specialized systems (Singular,

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread root
I don't know if that is of any interest but someone around here might care about the fact that Sage was probably the most mentioned (and cited) mathematics software at the First Conference for Symbolic Computation and Cryptography (SCC 2008) in Beijing. Specifically, these

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread David Joyner
On Wed, Apr 30, 2008 at 2:35 PM, root [EMAIL PROTECTED] wrote: I don't know if that is of any interest but someone around here might care about the fact that Sage was probably the most mentioned (and cited) mathematics software at the First Conference for Symbolic Computation

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread mabshoff
On Apr 30, 7:43 pm, David Joyner [EMAIL PROTECTED] wrote: On Wed, Apr 30, 2008 at 2:35 PM, root [EMAIL PROTECTED] wrote: Hi,  (disclaimer: I'm the person who set up the Magnus sourceforge site  and I worked for Gilbert Baumslag at City College) Once I saw Magnus mentioned I figured Tim

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread William Stein
On Wed, Apr 30, 2008 at 11:13 AM, mabshoff [EMAIL PROTECTED] wrote: On Apr 30, 7:43 pm, David Joyner [EMAIL PROTECTED] wrote: On Wed, Apr 30, 2008 at 2:35 PM, root [EMAIL PROTECTED] wrote: Hi, (disclaimer: I'm the person who set up the Magnus sourceforge site and I worked for

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread David Harvey
On Apr 30, 2008, at 4:50 PM, root wrote: But we've already had this discussion and it is clear that I'm completely out-in-the-weeds, talking-nonsense, and obviously have no idea how REAL-open-source-projects are done. So lets just leave it where it left off before, which is that I've simply

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread root
Wasn't Magnus Tim Daly's main example of a project in trouble development and usage-wise? From this thread: http://groups.google.com/group/sage-devel/browse_thread/thread/c65e235f83cb2cd1/93b5dc531e50bb1c?lnk=gstq=magnus#93b5dc531e50bb1c Tim wrote: the only person who can properly maintain,

[sage-devel] why do we not use malb's libsingular wrappings by default?

2008-04-30 Thread Yi Qiang
Hi, How come we use the pexpect interface for singular to compute the groebner basis as the default? It seems to me we should be using malb's excellent libsingular wrapper. sage: R.x,y = PolynomialRing(QQ,order='degrevlex') sage: I=(x^2+3*x*y/2+y^2/2-3*x/2-3*y/2,x*y^2-x,y^3-y)*R sage: %timeit

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread mabshoff
Hi Tim, I compiled the last snapshot and it compiled in decent time, i.e. 14 minutes CPU time on sage.math. On the other hand: I couldn't find the python bindings, neither in the sf tarball nor the sf svn/cvs repo. Any pointers? I couldn't find any reference to python in any file: [EMAIL

[sage-devel] Re: why do we not use malb's libsingular wrappings by default?

2008-04-30 Thread mhampton
I'm sure Martin will answer this, but I suspect is an oversight based on common usage patterns - for most Groebner basis calculations, the overhead of pexpect is insignificant. -Marshall On Apr 30, 2:09 pm, Yi Qiang [EMAIL PROTECTED] wrote: Hi, How come we use the pexpect interface for

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread Jason Grout
mabshoff wrote: Hi Tim, I compiled the last snapshot and it compiled in decent time, i.e. 14 minutes CPU time on sage.math. I just compiled the sourceforge source and had to modify backend/glib++/Integer.h and Rational.h. In each of those files, there were two code blocks that defined

[sage-devel] fast vs viable (offline post)

2008-04-30 Thread root
David, But we've already had this discussion and it is clear that I'm completely out-in-the-weeds, talking-nonsense, and obviously have no idea how REAL-open-source-projects are done. So lets just leave it where it left off before, which is that I've simply dropped the attempt to give the

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread root
Jason, Please send me a diff-Naur patch of your changes. --Tim --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread root
On the other hand: I couldn't find the python bindings, neither in the sf tarball nor the sf svn/cvs repo. Any pointers? I couldn't find any reference to python in any file: The python bindings were created using SWIG. I'll see if I have a copy (I no longer work at CCNY). Gilbert probably has

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread root
I WANT Sage to live. I want it to succeed. I want it to be the lingua-franca of the business so that we can all post our results in Sage at conferences. I want to be able to drag and drop your publication onto my system and have your code just work, your documentation just connect. I want to be

[sage-devel] Re: fast vs viable (offline post)

2008-04-30 Thread mhampton
I think that generally new code in sage has been meeting a pretty high standard. I think I am a good test case, since I have never been to a Sage Days (except for the joint meetings in San Diego, when I was too busy to interact a whole lot with other developers), and I often try to figure out

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread mabshoff
On May 1, 1:06 am, root [EMAIL PROTECTED] wrote: Hi Tim, I WANT Sage to live. I want it to succeed. I want it to be the lingua-franca of the business so that we can all post our results in Sage at conferences. I want to be able to drag and drop your publication onto my system and have your

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread Jason Grout
root wrote: Jason, Please send me a diff-Naur patch of your changes. --Tim I'm posting here for other people who may be trying to compile it. These, of course, are quick hacks that get it to compile (equivalent to commenting out the offending lines). If there is a quick test or two that you

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread root
Michael, On the other hand: I couldn't find the python bindings, neither in the sf tarball nor the sf svn/cvs repo. Any pointers? I couldn't find any reference to python in any file: I found a copy of it. See http://daly.axiom-developer.org/magnus_python.tgz This will unpack into

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread Jaap Spies
root wrote: I WANT Sage to live. I want it to succeed. I want it to be the lingua-franca of the business so that we can all post our results in Sage at conferences. I want to be able to drag and drop your publication onto my system and have your code just work, your documentation just

[sage-devel] Re: fast vs viable

2008-04-30 Thread William Stein
On Wed, Apr 30, 2008 at 3:38 PM, root [EMAIL PROTECTED] wrote: Sage is dancing around like it has discovered something new and wonderful. Yes, I'm certainly pretty excited about the Sage project, especially the many really interesting people involved in it! But I've been in this business

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread William Stein
On Wed, Apr 30, 2008 at 3:19 PM, Jaap Spies [EMAIL PROTECTED] wrote: root wrote: I WANT Sage to live. I want it to succeed. I want it to be the lingua-franca of the business so that we can all post our results in Sage at conferences. I want to be able to drag and drop your

[sage-devel] Re: fast vs viable (offline post)

2008-04-30 Thread root
But you still haven't told me: where is all this time going to come from? I can't magically make more time appear. I have other things to do. It's a damn shame. http://nielsenhayden.com/makinglight/archives/010186.html#010186 and, for the record, I vote for MaryAnn. :-) Tim

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread David Harvey
On Apr 30, 2008, at 7:06 PM, root wrote: I WANT Sage to live. I want it to succeed. I want it to be the lingua-franca of the business so that we can all post our results in Sage at conferences. I want to be able to drag and drop your publication onto my system and have your code just work,

[sage-devel] Re: fast vs viable (offline post)

2008-04-30 Thread Gary Furnish
- It suffers from the I can do it better, do-it-yet-again-in-python syndrome, where it will be discovered that python is too slow so we need to rewrite it in Cython and do obscure, undocumented, performance enhancing software hacks. Unfortunately computers live in the physical

[sage-devel] Re: fast vs viable (offline post)

2008-04-30 Thread mabshoff
On May 1, 12:51 am, Gary Furnish [EMAIL PROTECTED] wrote:   - It suffers from the OpenMath communication issue (e.g. if you    take an Axiom expression, export it to maple, compute with it,    and re-import it to Axiom you have violated a lot of type    assumptions in Axiom, possibly

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread Jaap Spies
William Stein wrote: On Wed, Apr 30, 2008 at 3:19 PM, Jaap Spies [EMAIL PROTECTED] wrote: root wrote: I WANT Sage to live. I want it to succeed. I want it to be the lingua-franca of the business so that we can all post our results in Sage at conferences. I want to be able to drag and

[sage-devel] Re: Fwd: [Cython] Porting the Docs

2008-04-30 Thread mhampton
Yeah! This has already helped me a lot. Many thanks to everyone involved. -M. Hampton On Apr 30, 10:48 am, William Stein [EMAIL PROTECTED] wrote: Hi, Cython now has beautiful-to-behold documentation. See below. -- Forwarded message -- From: Gabriel Gellner [EMAIL

[sage-devel] Re: fast vs viable (offline post)

2008-04-30 Thread root
- It suffers from the OpenMath communication issue (e.g. if you take an Axiom expression, export it to maple, compute with it, and re-import it to Axiom you have violated a lot of type assumptions in Axiom, possibly violated branch cut assumptions (e.g. acosh), done invalid

[sage-devel] Re: fast vs viable (offline post)

2008-04-30 Thread Bill Hart
I do believe that computational mathematics needs to become a more rigorous subject. In fact, I'd like to see a piece of code written by Tim upholding the standards he is advocating, where someone has taken the time, because I would like to compare it to my own code and get some ideas. However,

[sage-devel] Re: fast vs viable (offline post)

2008-04-30 Thread Gary Furnish
My point was that information on branch cuts should either A) be publicly available or B) preferably available as an export option. Mathematica and Maple both do A. Perhaps B is the better answer for open systems. In any event I stand by my point that this is only an issue because people have a

[sage-devel] Re: fast vs viable (offline post)

2008-04-30 Thread root
I do believe that computational mathematics needs to become a more rigorous subject. In fact, I'd like to see a piece of code written by Tim upholding the standards he is advocating, where someone has taken the time, because I would like to compare it to my own code and get some ideas. However,

[sage-devel] Re: fast vs viable (offline post)

2008-04-30 Thread Jason Grout
root wrote: The canonical example which is in-plan to write is based on the paper in src/doc/primesp.spad.pamphlet http://github.com/daly/axiom/tree/master/src/doc/primesp.spad.pamphlet I obtained permission from the authors to use this paper in Axiom as the basis for a canonical example.

[sage-devel] Re: why do we not use malb's libsingular wrappings by default?

2008-04-30 Thread Martin Albrecht
On Thursday 01 May 2008, mhampton wrote: I'm sure Martin will answer this, but I suspect is an oversight based on common usage patterns - for most Groebner basis calculations, the overhead of pexpect is insignificant. Yes, this is one reason. Another reason is that interrupting the

[sage-devel] Re: Slightly OT: SCC 2008 Braid Groups

2008-04-30 Thread Martin Albrecht
* Tobias Eibach and Gunnar Völkel: Optimising Gröbner Bases on Bivium (used Sage to implement attack) * Burçin Eröcal: SCrypt: Using Symbolic Computation to Bridge the Gap Between Algebra and Cryptography (module for Sage) * Ralf-Philipp Weinmann and Johannes Buchmann: Distributed

[sage-devel] Re: fast vs viable (offline post)

2008-04-30 Thread root
My point was that information on branch cuts should either A) be publicly available or B) preferably available as an export option. Mathematica and Maple both do A. Perhaps B is the better answer for open systems. In any event I stand by my point that this is only an issue because people have a

[sage-devel] gens and ngens

2008-04-30 Thread David Harvey
Regarding ticket http://sagetrac.org/sage_trac/ticket/3045 can someone explain to me what the gens and ngens methods are supposed to mean? There seems to be a lot of inconsistency. For example: sage: ZZ.gens() (1,) These are the additive generators. Ditto here: sage: GF(7).gens() (1,)