#12143: PariError when creating a relative number field
---------------------------------+------------------------------------------
       Reporter:  culler         |         Owner:  davidloeffler
           Type:  defect         |        Status:  needs_review 
       Priority:  major          |     Milestone:  sage-5.10    
      Component:  number fields  |    Resolution:               
       Keywords:                 |   Work issues:               
Report Upstream:  N/A            |     Reviewers:               
        Authors:                 |     Merged in:               
   Dependencies:                 |      Stopgaps:               
---------------------------------+------------------------------------------
Changes (by mstreng):

  * status:  new => needs_review


Old description:

> {{{
> sage: t = QQ['t'].gen()
> sage: K.<a> = QQ.extension(t^6 - 1/4*t^3 - 1/64)
> sage: s = K['s'].gen()
> sage: g = s^4 + 2*a^2*s^2 + a^4 + a
> sage: L.<b> = K.extension(g)
> }}}
>
> fails with PariError: inconsistent data (12)
>
> The failure occurs in:
> rings.number_field.number_field_rel.pari_relative_polynomial().polisirreducible()
>
> If, instead, one tries:
> {{{
> sage: L.<b> = K.extension(g, check=False)
> }}}
> it fails with PariError: (5)
>
> This time it fails in:
> pari_absolute_base_polynomial().rnfequation(self.pari_relative_polynomial(),
> 1)

New description:

 Please close as duplicate of #252

 {{{
 sage: t = QQ['t'].gen()
 sage: K.<a> = QQ.extension(t^6 - 1/4*t^3 - 1/64)
 sage: s = K['s'].gen()
 sage: g = s^4 + 2*a^2*s^2 + a^4 + a
 sage: L.<b> = K.extension(g)
 }}}

 fails with PariError: inconsistent data (12)

 The failure occurs in:
 
rings.number_field.number_field_rel.pari_relative_polynomial().polisirreducible()

 If, instead, one tries:
 {{{
 sage: L.<b> = K.extension(g, check=False)
 }}}
 it fails with PariError: (5)

 This time it fails in:
 pari_absolute_base_polynomial().rnfequation(self.pari_relative_polynomial(),
 1)

--

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12143#comment:4>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to