[sage-combinat-devel] rebasing to sage-5.3.beta1

2012-08-16 Thread Anne Schilling
Hi All! Andrew Mathas and I had to import the patches from ticket 11310 to the queue as they touched /combinat/tableaux.py and conflicted with 9265. As a result the following patches did not apply any longer trac_5512-species_equality.patch alphabet-vd.patch species_labels-mr.patch concrete_comb

Re: [sage-combinat-devel] (With)Realizations

2012-08-16 Thread Franco Saliola
Hello Nicolas! On Thu, Aug 16, 2012 at 5:50 AM, Nicolas M. Thiery wrote: > Hi Franco! > > On Tue, Aug 14, 2012 at 01:41:28PM -0400, Franco Saliola wrote: >> I'm having trouble with (With)Realizations. >> >> If I understand correctly, then we have the following. >> >> - The methods in Cate

[sage-combinat-devel] Re: int and Integers

2012-08-16 Thread Simon King
PS: On 2012-08-16, Simon King wrote: >>In other words "3 in Zmod(5)(3)" should >> returns True but it returns an error. > > Zmod(5)(3) is by default considered as an element of a ring, not as a coset. > Hence, of cource "3 in Zmod(5)(3)" returns an error. If you want a > coset, i.e., if you want

[sage-combinat-devel] Re: int and Integers

2012-08-16 Thread Simon King
Hi Vincent, I'm sorry for my long answer. I am not a native speaker, so, it is difficult for me to be concise in English. On 2012-08-16, Vincent Delecroix <20100.delecr...@gmail.com> wrote: > This default behavior is very badly suited. In parallel to my second > mail, I found the more striking ex

Re: [sage-combinat-devel] Re: int and Integers

2012-08-16 Thread Vincent Delecroix
Thanks Simon. > The default behaviour of "x in P" for any parent P in Sage is: > x in P > <=> > P(x)==x is True (and does not raise an error) This default behavior is very badly suited. In parallel to my second mail, I found the more striking example {{{ sage: R = Zmod(5) sage: i = ZZ(3) sage:

[sage-combinat-devel] Re: int and Integers

2012-08-16 Thread Simon King
Dear Vincent, On 2012-08-16, Vincent Delecroix <20100.delecr...@gmail.com> wrote: > It breaks many test in sage.combinat.*. Note that if we adopt the > strict convention (ie int(2) not in Integers/IntegerRange/...) then it > will be impossible to do the following > {{{ > sage: W = Words("positive

[sage-combinat-devel] Re: int and Integers

2012-08-16 Thread Vincent Delecroix
Quick update : I really don't like the following (which comes from the default sage.structure.parent.__contains__) {{{ sage: Zmod(12)(5) in ZZ True }}} 2012/8/16, Vincent Delecroix <20100.delecr...@gmail.com>: > Hi, > > I'm working on #8920 about factorization of codes between alphabets > and sets

[sage-combinat-devel] int and Integers

2012-08-16 Thread Vincent Delecroix
Hi, I'm working on #8920 about factorization of codes between alphabets and sets. I got problems with the following behavior:: {{{ sage: int(2) in IntegerRange(1,3) False sage: int(2) in Integers() True sage: int(2) in NonNegativeIntegers() True sage: int(2) in PositiveIntegers() False }}} It brea

Re: [sage-combinat-devel] (With)Realizations

2012-08-16 Thread Nicolas M. Thiery
Hi Franco! On Tue, Aug 14, 2012 at 01:41:28PM -0400, Franco Saliola wrote: > I'm having trouble with (With)Realizations. > > If I understand correctly, then we have the following. > > - The methods in Category.WithRealizations.ParentMethods are > methods that are "inherited" by any obj