Opened 6 years ago

Last modified 9 months ago

#14893 new enhancement

P.root_field() for p-adic polynomials should return a p-adic field

Reported by: davidloeffler Owned by: roed
Priority: major Milestone: sage-6.4
Component: padics Keywords: root_field, sd87, padicIMA
Cc: Merged in:
Authors: Reviewers: Adele Bourgeois
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #20244, #20073 Stopgaps:

Description (last modified by davidloeffler)

At the moment, the following code

    R.<x>=PolynomialRing(Qp(2));
    P=2*x^2+1;
    K.<a>=P.root_field();

returns a univariate polynomial quotient ring object. It should return a p-adic field object, consistently with the case of root_field for polynomials over QQ and number fields.

(See https://groups.google.com/forum/#!topic/sage-devel/Yb9QrX8FHNQ.)

Change History (10)

comment:1 Changed 6 years ago by davidloeffler

  • Description modified (diff)

comment:2 Changed 6 years ago by davidloeffler

  • Type changed from PLEASE CHANGE to enhancement

comment:3 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:4 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:5 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4

comment:6 Changed 22 months ago by roed

  • Keywords sd87 added

comment:7 Changed 21 months ago by abourgeois

  • Dependencies set to #20244, #20073

comment:8 Changed 21 months ago by abourgeois

  • Reviewers set to Adele Bourgeois

comment:9 Changed 21 months ago by abourgeois

When trying to run this example, we get the following:

ValueError: negative valuation

This error occurs in the calling of extension by root_field. At the moment, there is no implementation of extensions for polynomials with coefficients of negative valuation. (See #20073: the polynomial gets divided by its leading coefficient if it's not monic.)

comment:10 Changed 9 months ago by roed

  • Keywords padicIMA added
Note: See TracTickets for help on using tickets.