On Sep 23, 2008, at 7:26 PM, Craig Citro wrote:
> >> sage: K.<a> = CyclotomicField(23) >> sage: K.class_number() >> >> ... >> >> PariError: not enough precomputed primes, need primelimit ~ (35) >> > > Hah, that's pretty hilarious. :) Actually, what it's telling you is > that it needs primes up to a primelimit, and then it doesn't actually > put in the primelimit. (This is a bug in our processing of Pari's > error messages.) It's then saying that this is PariError #35. The > effect is awesome, though. [...] > And maybe one last good question: David, were you surprised that > Pari/Sage couldn't tell you this? Would you have preferred a > non-verified answer (along with information that it wasn't provably > correct, of course), what you got, or something else entirely? I just wanted to know the class number of that field! (More precisely, I was trying to remember which was the first cyclotomic field with non-trivial class group.) It would have been okay to get a non-verified answer with the information that it was non-verified.... but then I would have wanted to be able to try again to get the verified answer. david --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
