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