[sage-devel] Sage package name convention

2013-10-23 Thread Thomas Feulner
I have produced a new Sage package ( http://www.algorithm.uni-bayreuth.de/de/team/Feulner_Thomas/codecan-1_0_spkg.zip) which applies to Sage 5.11. Now, for the current version 5.12 of Sage the source code results in some runtime errors, which I would like to fix (there are only a few lines I ha

Re: [sage-devel] Re: aut codes patch

2013-10-21 Thread Thomas Feulner
The ticket #13726 on semimonomial transformation group is merged into sage-5.13.beta. Now, the last step would be to find a reviewer for #13771... -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving

Re: [sage-devel] Re: aut codes patch

2013-10-09 Thread Thomas Feulner
Am Samstag, 5. Oktober 2013 15:50:46 UTC+2 schrieb Volker Braun: > > On Saturday, October 5, 2013 2:03:57 PM UTC+1, David Joyner wrote: >> >> My vote would be to certainly allow it to be an experimental package. >> > > There isn't really too much need for additional work here, what I'm seeing >

[sage-devel] Re: aut codes patch

2013-10-05 Thread Thomas Feulner
Thanks for all your help. @Volker: You are right, the names are terrible. I will change them. There is no need to have LinearCode_AutGroupCanLabel in the global namespace. I think LinearCode should have a member of this type, but I was not sure if this goes well together with an experimental/o

[sage-devel] Re: aut codes patch

2013-10-01 Thread Thomas Feulner
The last post to this thread is 2 years old, but I have continued my work on canonical forms for linear codes. I have followed up Dima`s proposal and prepared a package, which is entirely written in Python/Cython, since there is no one willing to review my tickets on the same topic. This new p

[sage-devel] Reviewer apply_map to sparse vectors

2013-08-11 Thread Thomas Feulner
Hi, I fixed a bug in the apply_map method for sparse vectors, see #14558. The patch does only contain a few lines. Maybe someone is able to review it? Thanks Thomas -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group

[sage-devel] Re: Inheritance from Parent and QuotientRing_nc leads to a TypeError

2013-07-06 Thread Thomas Feulner
Hi Simon, thank you very much for your help. This was the solution! (and that I should not pass names=None to QuotientRing_nc.__init__ ;-) ) @Volker: I hope that ParentWithGens will be removed soon. For a beginner, it is really hard to figure out how to define derived classes, especially when y

[sage-devel] Re: Inheritance from Parent and QuotientRing_nc leads to a TypeError

2013-07-05 Thread Thomas Feulner
Hi Simon, Am Freitag, 5. Juli 2013 12:26:19 UTC+2 schrieb Simon King: > > Hi Thomas, > > On 2013-07-04, Thomas Feulner > > wrote: > > I am trying to build a class which derives from Parent and > QuotientRing_nc > > at the same time. I want to inherit

[sage-devel] Inheritance from Parent and QuotientRing_nc leads to a TypeError

2013-07-04 Thread Thomas Feulner
I am trying to build a class which derives from Parent and QuotientRing_nc at the same time. Here is a minimal example: sage: from sage.structure.parent import Parent sage: from sage.categories.all import Category, FiniteEnumeratedSets, CommutativeRings sage: from sage.rings.quotient_ring import

[sage-devel] Re: Composition of ring homomorphisms

2013-05-06 Thread Thomas Feulner
This is now http://trac.sagemath.org/sage_trac/ticket/14534 -- 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, send an email to sage-devel+unsubscr...@googlegroups.com. To post to t

[sage-devel] Composition of ring homomorphisms

2013-05-02 Thread Thomas Feulner
When composing a ``RingHomomorphism`` and an instance of ``RingHomomorphism_im_gens`` then the images of the generators are again checked for their validity, see rings/morphism.pyx: def _composition_(self, right, homset): from sage.all import Rings if homset.homset_category().is_

[sage-devel] Re: Large memory consumption by the basis of the ambient space

2012-08-30 Thread Thomas Feulner
An update: The ticket http://trac.sagemath.org/sage_trac/ticket/13304 does not solve this problem. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group,

[sage-devel] Large memory consumption by the basis of the ambient space

2012-08-30 Thread Thomas Feulner
Hi, I am working on linear codes and I observed a high memory consumption when constructing codes of large length. I figured out that this problem already appears in the construction of vector spaces: sage: F. = GF(4) sage: M = MatrixSpace(F, 8, 1).random_element() sage: V = VectorSpace(F,

[sage-devel] the default behaviour of reduce() for ideals

2012-07-30 Thread Thomas Feulner
Hi, in the definition of a QuotientRing there is the following assumption ASSUMPTION: ``I`` has a method ``I.reduce(x)`` returning the normal form of elements `x\in R`. In other words, it is required that ``I.reduce(x)==I.reduce(y)`` `\iff x-y \in I`, and ``x-I.reduce(x) in I

[sage-devel] Re: aut codes patch

2011-05-18 Thread Thomas Feulner
On 16 Mai, 10:18, Volker Braun wrote: > You are piping strings to/from GAP, are you? Yes, that is exactly what I am doing. > Depending on how often you end > up using GAP internally you might be interested in a shared-library > interface to GAP. We do have an experimental one, > seehttp://tra

[sage-devel] Re: aut codes patch

2011-05-15 Thread Thomas Feulner
On 14 Mai, 17:40, Dima Pasechnik wrote: > On May 13, 7:18 pm, Thomas Feulner > wrote: > > > > > Hi, > > > On 7 Mai, 07:04, Dima Pasechnik wrote: > > > > On May 6, 9:12 pm, David Joyner wrote: > > > > > Hi: > > > >

[sage-devel] Re: aut codes patch

2011-05-13 Thread Thomas Feulner
Hi, On 7 Mai, 07:04, Dima Pasechnik wrote: > On May 6, 9:12 pm, David Joyner wrote: > > > > > Hi: > > > The contribution at #10153 byThomasFeulneris huge and, > > IMHO, important. It basically generalizes what Robert Miller did for > > automorphisms of codes in the binary case to the non-binary