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 object in
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
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. I
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
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: j =
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
PS:
On 2012-08-16, Simon King simon.k...@uni-jena.de 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.,
Hello Nicolas!
On Thu, Aug 16, 2012 at 5:50 AM, Nicolas M. Thiery
nicolas.thi...@u-psud.fr 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
