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.<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. >
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.
