[sage-combinat-devel] Edge specific options for dot2tex drawing of graphs

2010-10-16 Thread Nicolas M. Thiery
Hi! I just pushed on the Sage-Combinat queue a patch implementing edge specific options for dot2tex drawing of graphs. It's experimental, and I had to refactor a couple things (in particular the handling of edge coloring). So in case this breaks anything for you, please let me know; you

[sage-devel] Bug Days

2010-10-16 Thread William Stein
Dear Sage Devel Community, Please send me an offlist email at wst...@gmail.com if you're very interested in being invited to an upcoming Bug Days in Seattle, all expenses paid. This will be a roughly 5 day workshop in which about 10-15 Sage developers gather to greatly improve the quality of

[sage-devel] bug wranglers

2010-10-16 Thread Burcin Erocal
Hi, Motivated by the call for the bug days, here is an idea to manage the rapidly increasing number of new tickets on trac. Many of the bugs on trac are - duplicates, - already fixed, which can be closed after adding a doctest or - has not been seen by a developer who can fix it since

Re: Fwd: Re: [sage-devel] User identification, did something change ?

2010-10-16 Thread Thierry Dumont
Nice, this worked perfectly.. Thanks. t. Le 16/10/2010 08:01, Thierry Dumont a écrit : Message original Sujet: Re: [sage-devel] User identification, did something change ? Date : Mon, 11 Oct 2010 11:12:50 -0700 De : Mike Hansen mhan...@gmail.com Répondre à :

[sage-devel] The new ortho polys would need review/feedback (Ticket #9706)

2010-10-16 Thread maldun
Hi! Burcin asked me to make a new version of ortho polys some time ago, and since Ticket #9808 for upgrading numpy and scipy finally got a positive review, I can now finish this task. Please feel free to look at the new version. The new version is a lot faster as the old implementation with

[sage-devel] Re: bug wranglers

2010-10-16 Thread maldun
Hi, Burcin! I think this is a great Idea! I'm short on time in the next months, but If I'm free again, could help with this. greez, Stefan On 16 Okt., 14:21, Burcin Erocal bur...@erocal.org wrote: Hi, Motivated by the call for the bug days, here is an idea to manage the rapidly increasing

Re: [sage-devel] bug wranglers

2010-10-16 Thread Minh Nguyen
Hi Burcin, On Sat, Oct 16, 2010 at 11:21 PM, Burcin Erocal bur...@erocal.org wrote: We might be able to overcome this with a bug-wrangler team, I would have thought weed-wrangler or pest-wrangler. You know, Sage and horticulture :-) people who volunteer to  - look at newly submitted

[sage-devel] matrices and matrix group over a ring

2010-10-16 Thread Christian Stump
Hello, I am trying to define a matrix group generated by matrices over a field which I have defined. At the moment, I am stuck with the the question of how to make the base_ring an instance of CommutativeRing? In particular, I get that the __init__ in free_module.pyc asks isinstance(base_ring,

Re: [sage-devel] Re: Test the log function in an expression for a rewrite function.

2010-10-16 Thread Burcin Erocal
Hi Francois, On Mon, 11 Oct 2010 18:12:57 +0200 Francois Maltey fmal...@nerim.fr wrote: // 1 // And what do you think about log ? Look at these test : exp(x).operator() == exp # is True, and all(?) trigonometric functions are fine log(x).operator() == ln # is True, yes the alias ln is

Re: [sage-devel] Re: log(1) returns int, not Integer

2010-10-16 Thread Burcin Erocal
Hi Francois, On Fri, 15 Oct 2010 21:46:36 +0200 Francois Maltey fmal...@nerim.fr wrote: You wrote (I cut a lot) Yup, I see what you are talking about - e.g. if (x.is_equal(_ex1)) // log(1) - 0 return _ex0; Although it might be nice to stay relatively

Re: [sage-devel] matrices and matrix group over a ring

2010-10-16 Thread David Roe
What are you inheriting from? FreeModule is checking to see if you're inheriting from sage.rings.commutative_ring.CommutativeRing. This was written long before categories became available. David On Sat, Oct 16, 2010 at 14:27, Christian Stump christian.st...@gmail.comwrote: Hello, I am

Re: [sage-devel] matrices and matrix group over a ring

2010-10-16 Thread David Joyner
In addition to what David Roe said, if I remember correctly MatrixGroups in Sage are implemented for matrices over finite fields. At some point I think it calls GAP for the computations. If your field is not finite, it might be better to use GAP directly since Sage only has infinite modular

[sage-devel] Re: matrices and matrix group over a ring

2010-10-16 Thread Christian Stump
What are you inheriting from?  FreeModule is checking to see if you're inheriting from sage.rings.commutative_ring.CommutativeRing.  This was written long before categories became available. No I don't - should I? Or is there another way to get around this? At the moment, I inherit only from

[sage-devel] Re: matrices and matrix group over a ring

2010-10-16 Thread Christian Stump
In addition to what David Roe said, if I remember correctly MatrixGroups in Sage are implemented for matrices over finite fields. At some point I think it calls GAP for the computations. If your field is not finite, it might be better to use GAP directly since Sage only has infinite modular

Re: [sage-devel] Re: matrices and matrix group over a ring

2010-10-16 Thread David Joyner
This would be an infinite group which I think is not implemented in Sage or GAP. I can't even imagine a way that GAP could help, but it can't hurt to ask in the GAP support list. Maybe there is an approximation someone could think of that might help. Please be as specific as possible when

[sage-devel] Re: matrices and matrix group over a ring

2010-10-16 Thread Christian Stump
This would be an infinite group which I think is not implemented in Sage or GAP. I can't even imagine a way that GAP could help, but it can't hurt to ask in the GAP support list. Maybe there is an approximation someone could think of that might help. Please be as specific as possible when

Re: [sage-devel] Re: matrices and matrix group over a ring

2010-10-16 Thread David Roe
You can either inherit from sage.rings.commutative_ring.CommutativeRing, or modify FreeModule to work better with the category framework. The first is probably the easier option. David On Sat, Oct 16, 2010 at 16:27, Christian Stump christian.st...@gmail.comwrote: What are you inheriting from?

Re: [sage-devel] Re: matrices and matrix group over a ring

2010-10-16 Thread David Joyner
On Sat, Oct 16, 2010 at 5:12 PM, Christian Stump christian.st...@gmail.com wrote: This would be an infinite group which I think is not implemented in Sage or GAP. I can't even imagine a way that GAP could help, but it can't hurt to ask in the GAP support list. Maybe there is an approximation

Re: [sage-devel] Re: matrices and matrix group over a ring

2010-10-16 Thread David Roe
Is there a reason you can't use finite cyclotomic fields? These exist in Sage and are reasonably well optimized. And GAP supports matrix groups over them, though as David Joyner mentioned, I don't think that functionality is wrapped from Sage. Defining matrix groups over finite cyclotomic

[sage-devel] Re: matrices and matrix group over a ring

2010-10-16 Thread Christian Stump
Does this help? sage: K = CyclotomicField(12)    # 12 = 4*3 sage: K.gens() (zeta12,) sage: z = K.gens()[0] sage: z zeta12 sage: E3 = z^4 sage: E4 = z^3 sage: gens = [ matrix( K, 2, [ E3, 0, 0, E4 ] ), matrix( K, 2, [ -E3, 0, 0, -1 ] ) ] sage: G = MatrixGroup( gens ) sage: G.order()

[sage-devel] Re: matrices and matrix group over a ring

2010-10-16 Thread Christian Stump
Is there a reason you can't use finite cyclotomic fields?  These exist in Sage and are reasonably well optimized.  And GAP supports matrix groups over them, though as David Joyner mentioned, I don't think that functionality is wrapped from Sage.  Defining matrix groups over finite cyclotomic

Re: [sage-devel] Re: matrices and matrix group over a ring

2010-10-16 Thread David Roe
Cool. I'd be happy to review that after Wednesday (when I have an application due). I can provide the perspective of someone who works mostly within sage.rings rather than sage.combinat. David On Sat, Oct 16, 2010 at 18:17, Christian Stump christian.st...@gmail.comwrote: Is there a reason

[sage-devel] Re: matrices and matrix group over a ring

2010-10-16 Thread Christian Stump
Cool.  I'd be happy to review that after Wednesday (when I have an application due).  I can provide the perspective of someone who works mostly within sage.rings rather than sage.combinat. sounds good, thanks! The ticket 8327 depends on ticket #8651 which again depends on ticket #8648. If you