Re: [sage-devel] Strange bug (or feature) in relative number fields
Hi, regarding the problem of number fields defined by polynomial with rational coefficients (http://trac.sagemath.org/sage_trac/ticket/252), I implemented a simple patch that justs prints a warning at : http://trac.sagemath.org/sage_trac/ticket/14146 However, I don't understand why this patch causes failures on some machines, and not on others (see the patchbot results). Cheers, - Charles Bouillaguet On 02/19/2013 08:54 PM, David Roe wrote: I'm fairly sure the problem is that the defining polynomial for the relative extension is not monic. One solution would be to use an equivalent monic polynomial and keep track of a simple transformation allowing one to translate between the internal representation of elements on the one hand and print representations and conversions from polynomials on the other. David On Tue, Feb 19, 2013 at 10:48 AM, Charles Bouillaguet charles.bouillag...@gmail.com mailto:charles.bouillag...@gmail.com wrote: Hi all, Adrien Poteaux reported this bug (http://trac.sagemath.org/sage_trac/ticket/14146) to me. When you create a number field (possibly on top of another number field), what are the restrictions on the defining polynomial ? Currently, strange PARI error occur, that are quite cryptic. Apparently, At the very least, these restrictions (if they actually exist) should be (better) documented... Thanks, --- Charles Bouillaguet http://www.lifl.fr/~bouillaguet/ -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com mailto:sage-devel%2bunsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com mailto:sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out. -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out. -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
Re: [sage-devel] Strange bug (or feature) in relative number fields
2013/2/19 Jeroen Demeyer jdeme...@cage.ugent.be: On 2013-02-19 20:54, David Roe wrote: I'm fairly sure the problem is that the defining polynomial for the relative extension is not monic. One solution would be to use an equivalent monic polynomial and keep track of a simple transformation allowing one to translate between the internal representation of elements on the one hand and print representations and conversions from polynomials on the other. This is http://trac.sagemath.org/sage_trac/ticket/252 Indeed, and since that isn't being fixed, maybe we should warn the user, as suggested here: http://trac.sagemath.org/sage_trac/ticket/252#comment:7 How about printing a warning when a non-monic or non-integral polynomial is fed to the number field constructor? That saves many people the time needed for debugging PariError. -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
[sage-devel] Strange bug (or feature) in relative number fields
Hi all, Adrien Poteaux reported this bug (http://trac.sagemath.org/sage_trac/ticket/14146) to me. When you create a number field (possibly on top of another number field), what are the restrictions on the defining polynomial ? Currently, strange PARI error occur, that are quite cryptic. Apparently, At the very least, these restrictions (if they actually exist) should be (better) documented... Thanks, --- Charles Bouillaguet http://www.lifl.fr/~bouillaguet/ -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
Re: [sage-devel] Strange bug (or feature) in relative number fields
I'm fairly sure the problem is that the defining polynomial for the relative extension is not monic. One solution would be to use an equivalent monic polynomial and keep track of a simple transformation allowing one to translate between the internal representation of elements on the one hand and print representations and conversions from polynomials on the other. David On Tue, Feb 19, 2013 at 10:48 AM, Charles Bouillaguet charles.bouillag...@gmail.com wrote: Hi all, Adrien Poteaux reported this bug ( http://trac.sagemath.org/sage_trac/ticket/14146) to me. When you create a number field (possibly on top of another number field), what are the restrictions on the defining polynomial ? Currently, strange PARI error occur, that are quite cryptic. Apparently, At the very least, these restrictions (if they actually exist) should be (better) documented... Thanks, --- Charles Bouillaguet http://www.lifl.fr/~bouillaguet/ -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out. -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
Re: [sage-devel] Strange bug (or feature) in relative number fields
On 2013-02-19 20:54, David Roe wrote: I'm fairly sure the problem is that the defining polynomial for the relative extension is not monic. One solution would be to use an equivalent monic polynomial and keep track of a simple transformation allowing one to translate between the internal representation of elements on the one hand and print representations and conversions from polynomials on the other. This is http://trac.sagemath.org/sage_trac/ticket/252 -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
