Re: [sage-devel] SchemeMorphism inherits from Element ?!

2013-11-07 Thread Robert Bradshaw
Even if you could make it inherit, unfortunately actual inheritance is too week to express the richness of all the different types in mathematics. You might want to look into the category framework. https://groups.google.com/forum/#!searchin/sage-devel/ringelement/sage-devel/s03GWigKz0M/TjiS78C_i1E

[sage-devel] Re: Fp algebraic closure and eigenvalues of matrices

2013-11-07 Thread Darij Grinberg
Hi Vincent, trac ticket #14990 has just been updated this week. Not reviewed, though. Best regards, Darij (from sage days 54) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, s

[sage-devel] SchemeMorphism inherits from Element ?!

2013-11-07 Thread Vincent Delecroix
Hi, I was working with #15378 and I wondered why SchemeMorphism inherits from Element and not from Morphism as they should. I just discovered that this is because points on a scheme are special kind of SchemeMorphism. So in order to make it a group law for example, they need to be Element... I am

[sage-devel] Re: Creating the (Z/5Z)^2 group in Sage : Hell among groups, parent/elements, Cartesian Products ...

2013-11-07 Thread Dima Pasechnik
On 2013-11-07, Volker Braun wrote: > On Thursday, November 7, 2013 5:55:04 AM UTC-8, Nathann Cohen wrote: >> >> sage: G = AdditiveAbelianGroup([7,23]); G >> Additive abelian group isomorphic to Z/161 >> > sage: G(1) >> TypeError: can't initialize vector from nonzero non-list >> > > This expects in

[sage-devel] Fp algebraic closure and eigenvalues of matrices

2013-11-07 Thread Vincent Delecroix
Hi, (from sage days 55) I would like to fix .eigenvalues() for matrices in order to work over finite fields. Currently {{{ sage: K = GF(3) sage: m = MatrixSpace(K,5).random_element() sage: m.eigenvalues() Traceback: most recent call (last) ... NotImplementedError: eigenvalues() is not implemented

Re: [sage-devel] Re: Creating the (Z/5Z)^2 group in Sage : Hell among groups, parent/elements, Cartesian Products ...

2013-11-07 Thread Volker Braun
On Thursday, November 7, 2013 5:55:04 AM UTC-8, Nathann Cohen wrote: > > sage: G = AdditiveAbelianGroup([7,23]); G > Additive abelian group isomorphic to Z/161 > sage: G(1) > TypeError: can't initialize vector from nonzero non-list > This expects input from Z/161, so a length-one list: sage: G([1

[sage-devel] Re: Creating the (Z/5Z)^2 group in Sage : Hell among groups, parent/elements, Cartesian Products ...

2013-11-07 Thread Dima Pasechnik
On 2013-11-07, Nathann Cohen wrote: > This, however, is beyond me. And I'm stuck again :-/ > > sage: G = AdditiveAbelianGroup([7,23]); G > Additive abelian group isomorphic to Z/161 > sage: print G[:5] > [(0, 0), (3, 10), (6, 20), (2, 7), (5, 17)] > sage: G(0) > (0, 0) > sage: G(1) > TypeError: ca

[sage-devel] Re: Creating the (Z/5Z)^2 group in Sage : Hell among groups, parent/elements, Cartesian Products ...

2013-11-07 Thread Hugh Thomas
Hi! Not obvious to me either, but documented (under AdditiveAbelianGroup) sage: v=vector((1,1)) sage: G(v) (1,1) defines an element as a sum of multiples of the generators. cheers, Hugh -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To un

Re: [sage-devel] Re: Creating the (Z/5Z)^2 group in Sage : Hell among groups, parent/elements, Cartesian Products ...

2013-11-07 Thread Nathann Cohen
This, however, is beyond me. And I'm stuck again :-/ sage: G = AdditiveAbelianGroup([7,23]); G Additive abelian group isomorphic to Z/161 sage: print G[:5] [(0, 0), (3, 10), (6, 20), (2, 7), (5, 17)] sage: G(0) (0, 0) sage: G(1) TypeError: can't initialize vector from nonzero non-list sage: G((0,0

Re: [sage-devel] Re: Creating the (Z/5Z)^2 group in Sage : Hell among groups, parent/elements, Cartesian Products ...

2013-11-07 Thread Nathann Cohen
> And I don't know how to fix this either : > > sage: G=AdditiveAbelianGroup([5]) > sage: G(2) > TypeError: can't initialize vector from nonzero non-list Fixed there : http://trac.sagemath.org/ticket/15369 Nathann -- You received this message because you are subscribed to the Google Groups "sa

[sage-devel] Cython has compilation errors on Mavericks

2013-11-07 Thread Oleksandr Kazymyrov
Hi all, First of all, I've seen this topic. I have Mavericks and sage-5.12-OSX-64bit-10.8-x86_64-Darwin. It works fine until I try to compile C/C++ via Cython. The error is: sh: line 1: 32270 Trace/BPT trap: 5 /Applications

Re: [sage-devel] Re: Creating the (Z/5Z)^2 group in Sage : Hell among groups, parent/elements, Cartesian Products ...

2013-11-07 Thread Nathann Cohen
And I don't know how to fix this either : sage: G=AdditiveAbelianGroup([5]) sage: G(2) TypeError: can't initialize vector from nonzero non-list Nathann On 7 November 2013 13:49, Nathann Cohen wrote: > Hello everybody ! > > I just created a ticket [1] that fixes several things in groups. > and a

Re: [sage-devel] Re: Creating the (Z/5Z)^2 group in Sage : Hell among groups, parent/elements, Cartesian Products ...

2013-11-07 Thread Nathann Cohen
Hello everybody ! I just created a ticket [1] that fixes several things in groups. and adds this AdditiveAbelianGroup there. In particular, it does not fix anything realted to the 3 cartesian products that can be used on IntegerModRing, nor to the fact that it is not considered as a group at all b