The number field code in Pari relies on factoring the discriminant
often using MPQS. In particular if you turn debugging mode on, you get
warnings like this:

  *** bnfclassunit: Warning: IFAC: untested integer declared prime.
        10762727634633706239259776012492757340083

So basically the number field code is no more reliable than a probable
prime test.

This is bad news if you only want unconditional results from Pari. It
may not be trivial to get unconditional results from all Pari
functions.

Bill.



--~--~---------~--~----~------------~-------~--~----~
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://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/
-~----------~----~----~----~------~----~------~--~---

Reply via email to