Re: [sage-release] Re: Sage 8.4.beta7 released

2018-10-03 Thread Kwankyu Lee


On Wednesday, October 3, 2018 at 10:01:40 PM UTC+9, Samuel Lelievre wrote:
>
> Wed 2018-10-03 12:36 UTC+2, Travis Scrimshaw: 
> > 
> > On Wednesday, October 3, 2018 at 7:35:08 PM UTC+10, Kwankyu Lee wrote: 
> >> 
> >> On Wednesday, October 3, 2018 at 3:14:32 PM UTC+9, Travis Scrimshaw 
> wrote: 
> >>> 
> >>> I believe there is a Heisenbug in 
> src/sage/rings/function_field/ideal.py. 
>
> >>> Here is a specific test that can sometimes fail: 
> >>> 
> >>> sage: K. = FunctionField(GF(3^2)); R. = K[] 
> >>> sage: F. = K.extension(t^3 + t^2 - x^4) 
> >>> sage: Oinf = F.maximal_order_infinite() 
> >>> sage: I = Oinf.ideal(1/y) 
> >>> sage: I.factor()   # This will sometimes fail 
> >>> 
> >>> I suspect people without meataxe will not have this failure. 
>
> Is this file added by some optional package, such as meataxe? 
>
> Without meataxe, the directory src/sage/rings/function_field 
> has a file function_field_ideal.py but no file ideal.py --- and 
>
> sage: Oinf = F.maximal_order_infinite() 
>
> gives a NotImplementedError. 
>
> > I created https://trac.sagemath.org/ticket/26389 
> > (Simon, I have cc-ed you). 
>
> Note that the ticket summary has "Hisenbug" for "Heisenbug" 
> and it might make sense to start the ticket description with 
> an indication that this happens with Meataxe installed. 
>

This is on Sage 8.4.beta 7. 

-- 
You received this message because you are subscribed to the Google Groups 
"sage-release" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-release+unsubscr...@googlegroups.com.
To post to this group, send email to sage-release@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-release.
For more options, visit https://groups.google.com/d/optout.


Re: [sage-release] Re: Sage 8.4.beta7 released

2018-10-03 Thread Samuel Lelièvre
Wed 2018-10-03 12:36 UTC+2, Travis Scrimshaw:
>
> On Wednesday, October 3, 2018 at 7:35:08 PM UTC+10, Kwankyu Lee wrote:
>>
>> On Wednesday, October 3, 2018 at 3:14:32 PM UTC+9, Travis Scrimshaw wrote:
>>>
>>> I believe there is a Heisenbug in src/sage/rings/function_field/ideal.py.

>>> Here is a specific test that can sometimes fail:
>>>
>>> sage: K. = FunctionField(GF(3^2)); R. = K[]
>>> sage: F. = K.extension(t^3 + t^2 - x^4)
>>> sage: Oinf = F.maximal_order_infinite()
>>> sage: I = Oinf.ideal(1/y)
>>> sage: I.factor()   # This will sometimes fail
>>>
>>> I suspect people without meataxe will not have this failure.

Is this file added by some optional package, such as meataxe?

Without meataxe, the directory src/sage/rings/function_field
has a file function_field_ideal.py but no file ideal.py --- and

sage: Oinf = F.maximal_order_infinite()

gives a NotImplementedError.

> I created https://trac.sagemath.org/ticket/26389
> (Simon, I have cc-ed you).

Note that the ticket summary has "Hisenbug" for "Heisenbug"
and it might make sense to start the ticket description with
an indication that this happens with Meataxe installed.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-release" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-release+unsubscr...@googlegroups.com.
To post to this group, send email to sage-release@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-release.
For more options, visit https://groups.google.com/d/optout.


[sage-release] Re: Sage 8.4.beta7 released

2018-10-03 Thread tscrim


On Wednesday, October 3, 2018 at 7:35:08 PM UTC+10, Kwankyu Lee wrote:
>
>
>
> On Wednesday, October 3, 2018 at 3:14:32 PM UTC+9, tsc...@ucdavis.edu 
> wrote:
>>
>> I believe there is a Heisenbug in src/sage/rings/function_field/ideal.py. 
>> Here is a specific test that can sometimes fail:
>>
>> sage: K. = FunctionField(GF(3^2)); R. = K[]
>> sage: F. = K.extension(t^3 + t^2 - x^4)
>> sage: Oinf = F.maximal_order_infinite()
>> sage: I = Oinf.ideal(1/y)
>> sage: I.factor()   # This will sometimes fail
>>
>> ---
>> TypeError Traceback (most recent call 
>> last)
>>
>> I suspect people without meataxe will not have this failure. 
>>
>
> Perhaps true. I must be the person who ran this test most number of times 
> and I never encountered this failure. 
>

Okay, that is good to know. Do you know offhand (i.e., don't spend much 
time on this) of a simple way I can extract out the relevant matrix 
computation? This is not a minimal example, and it would be useful to get 
it down smaller.

I created https://trac.sagemath.org/ticket/26389 (Simon, I have cc-ed you).

Best,
Travis

-- 
You received this message because you are subscribed to the Google Groups 
"sage-release" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-release+unsubscr...@googlegroups.com.
To post to this group, send email to sage-release@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-release.
For more options, visit https://groups.google.com/d/optout.


[sage-release] Re: Sage 8.4.beta7 released

2018-10-03 Thread Kwankyu Lee


On Wednesday, October 3, 2018 at 3:14:32 PM UTC+9, tsc...@ucdavis.edu wrote:
>
> I believe there is a Heisenbug in src/sage/rings/function_field/ideal.py. 
> Here is a specific test that can sometimes fail:
>
> sage: K. = FunctionField(GF(3^2)); R. = K[]
> sage: F. = K.extension(t^3 + t^2 - x^4)
> sage: Oinf = F.maximal_order_infinite()
> sage: I = Oinf.ideal(1/y)
> sage: I.factor()   # This will sometimes fail
> ---
> TypeError Traceback (most recent call last
> )
>
> I suspect people without meataxe will not have this failure. 
>

Perhaps true. I must be the person who ran this test most number of times 
and I never encountered this failure. 

-- 
You received this message because you are subscribed to the Google Groups 
"sage-release" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-release+unsubscr...@googlegroups.com.
To post to this group, send email to sage-release@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-release.
For more options, visit https://groups.google.com/d/optout.


[sage-release] Re: Sage 8.4.beta7 released

2018-10-03 Thread Simon King
Hi Travis,

On 2018-10-03, tsc...@ucdavis.edu  wrote:
> In the file, I can get anywhere between 0 and 6 tests failing. Note that 
> once this works, it never seems to fail. Also, inserting output into the 
> error, n = 255 and self.order() = 9. I suspect the problem is in 
> Matrix_gfpn_dense as this is not a problem when I go to GF(19^2). I should 
> note that I do have meataxe installed, and I suspect people without meataxe 
> will not have this failure.

When you open a ticket for it, please Cc me.

Best regards,
Simon

-- 
You received this message because you are subscribed to the Google Groups 
"sage-release" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-release+unsubscr...@googlegroups.com.
To post to this group, send email to sage-release@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-release.
For more options, visit https://groups.google.com/d/optout.