Opened 6 years ago
Last modified 10 days 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, padicBordeaux |
Cc: | Merged in: | ||
Authors: | Reviewers: | Adele Bourgeois | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | #20244, #20073 | Stopgaps: |
Description (last modified by )
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 (11)
comment:1 Changed 6 years ago by
- Description modified (diff)
comment:2 Changed 6 years ago by
- Type changed from PLEASE CHANGE to enhancement
comment:3 Changed 6 years ago by
- Milestone changed from sage-6.1 to sage-6.2
comment:4 Changed 5 years ago by
- Milestone changed from sage-6.2 to sage-6.3
comment:5 Changed 5 years ago by
- Milestone changed from sage-6.3 to sage-6.4
comment:6 Changed 2 years ago by
- Keywords sd87 added
comment:7 Changed 2 years ago by
- Dependencies set to #20244, #20073
comment:8 Changed 2 years ago by
- Reviewers set to Adele Bourgeois
comment:9 Changed 2 years ago by
comment:10 Changed 14 months ago by
- Keywords padicIMA added
comment:11 Changed 10 days ago by
- Keywords padicBordeaux added
Note: See
TracTickets for help on using
tickets.
When trying to run this example, we get the following:
This error occurs in the calling of
extension
byroot_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.)