[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-12 Thread William Stein
On Thu, Jun 11, 2009 at 8:26 PM, Nicolas M. Thierynicolas.thi...@u-psud.fr wrote: On Thu, Jun 11, 2009 at 03:57:51PM +0200, Franco Saliola wrote: On Sat, Jun 6, 2009 at 4:47 AM, William Steinwst...@gmail.com wrote: XIII. Representation Theory   * Characters of finite groups; GAP has

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-12 Thread Franco Saliola
On Fri, Jun 12, 2009 at 2:26 AM, Nicolas M. Thierynicolas.thi...@u-psud.fr wrote: On Thu, Jun 11, 2009 at 03:57:51PM +0200, Franco Saliola wrote: On Sat, Jun 6, 2009 at 4:47 AM, William Steinwst...@gmail.com wrote: XIII. Representation Theory   * Characters of finite groups; GAP has

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-12 Thread Nicolas M. Thiery
On Fri, Jun 12, 2009 at 04:38:56AM -0400, William Stein wrote: I think a Sage Days dedicated to representation theory might be a good idea, where the goal would be to implement: computation of the representation theory of finite groups, finite semigroups, finite dimensional algebras

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-12 Thread Nicolas M. Thiery
On Fri, Jun 12, 2009 at 03:53:24PM +0200, Franco Saliola wrote: Would this be an interesting topic for the Sage days at CIRM in March 2010? Or do you think this is too far ahead? I was under the impression that it was supposed to be more of a Sage School rather than a Sage Days

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-11 Thread Michel
I think a useful thing to have in sage would be mutations of graphs (which occur in the theory of cluster algebras by Fomin and Zelevinski). Bernhard Keller has written a java applet (and application) to do this which is widely used. See here

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-11 Thread Franco Saliola
On Sat, Jun 6, 2009 at 4:47 AM, William Steinwst...@gmail.com wrote: XIII. Representation Theory   * Characters of finite groups; GAP has this, of course, but I don't     think Sage nicely wraps it. PROJECT: Wrap more of GAP's functionality, in particular characters of finite groups. Can

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-11 Thread Jerome Lefebvre
Can you elaborate on this? What do you mean by 'nicely wraps'? I wrote the ClassFunction class that wraps GAP's ClassFunction command, but I'd like to know what more could/should be done. I am not a GAP expert so the code would definitely benefit from someone more knowledgeable about GAP

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-11 Thread Franco Saliola
On Thu, Jun 11, 2009 at 5:24 PM, Jerome Lefebvrejerome.p.lefeb...@gmail.com wrote: Can you elaborate on this? What do you mean by 'nicely wraps'? I wrote the ClassFunction class that wraps GAP's ClassFunction command, but I'd like to know what more could/should be done. I am not a GAP expert

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-11 Thread Franco Saliola
On Thu, Jun 11, 2009 at 10:30 PM, Franco Saliolasali...@gmail.com wrote: On Thu, Jun 11, 2009 at 5:24 PM, Jerome Lefebvrejerome.p.lefeb...@gmail.com wrote: Can you elaborate on this? What do you mean by 'nicely wraps'? I wrote the ClassFunction class that wraps GAP's ClassFunction command,

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-11 Thread Nicolas M. Thiery
On Thu, Jun 11, 2009 at 03:57:51PM +0200, Franco Saliola wrote: On Sat, Jun 6, 2009 at 4:47 AM, William Steinwst...@gmail.com wrote: XIII. Representation Theory   * Characters of finite groups; GAP has this, of course, but I don't     think Sage nicely wraps it. PROJECT: Wrap

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-10 Thread Nicolas M. Thiery
On Fri, Jun 05, 2009 at 07:47:05PM -0700, William Stein wrote: Hi Sage-Devel, This email will focus entirely on functionality present in Magma that is not available in Sage. We will almost entirely ignore questions of efficiency for this email. ... VIII. Finite Groups;

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-08 Thread Rado
XX. Coding Theory   * Algebraic-Geometric codes -- I'm sure we're missing a lot PROJECT: Implement standard range of AG codes.  Requires more algebraic curve functionality, some of which isn't available in the open source world. My advisor, Prof. Iwan Duursma, and I are using python for

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-08 Thread David Joyner
On Mon, Jun 8, 2009 at 1:38 PM, Rado rki...@gmail.com wrote: XX. Coding Theory   * Algebraic-Geometric codes -- I'm sure we're missing a lot PROJECT: Implement standard range of AG codes.  Requires more algebraic curve functionality, some of which isn't available in the open source

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-06 Thread davidloeffler
On Jun 6, 3:47 am, William Stein wst...@gmail.com wrote:   * Galois theory and ramification groups for p-adic extensions (needs     the previous features) I wrote a (very simplistic) implementation of Artin symbols and decomposition and ramification groups a few months back for extensions of

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-06 Thread John Cremona
Two or three things: 1. Rational conics. Magma first implemented my algorithms, which are in eclib but not wrapped, so we could do a lot quite easily there. But now Magma uses Denis Simon's algorithm which is better in certain cases, and he would certainly donate his code (in gp I think). 2.

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-06 Thread William Stein
On Sat, Jun 6, 2009 at 1:18 AM, davidloefflerdave.loeff...@gmail.com wrote: On Jun 6, 3:47 am, William Stein wst...@gmail.com wrote:   * Galois theory and ramification groups for p-adic extensions (needs     the previous features) I wrote a (very simplistic) implementation of Artin symbols

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-06 Thread Nathan Dunfield
VIII. Finite Groups; Finitely-Presented Groups   * I'm not enough of a group theorist to appreciate differences     between what Sage provides via GAP and Magma.  They seem pretty     similar to me for group theory.  Sage exposes much of GAP's     functionality for groups. William, I

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-05 Thread Kiran Kedlaya
William mentioned an area dear to my heart: On Jun 5, 10:47 pm, William Stein wst...@gmail.com wrote:   * Magma's linear algebra over p-adics is better than in Sage. PROJECT: Design and implement good algorithms for linear algebra over p-adics (subtle and interesting research area). There

[sage-devel] Re: What can Magma do that Sage can't do?

2009-06-05 Thread Nick Alexander
* Hyperelliptic curves -- Sage has nothing really for jacobian over number fields, effective Chabauty. Sage also doesn't implement the analytic Jacobians package from Magma. PROJECT: Make the group law on hyperelliptic Jacobians very fast. Two comments: the patch at