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.<x> = FunctionField(GF(3^2)); R.<t> = K[]
>>> sage: F.<y> = 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.
