Opened 7 years ago

Closed 5 years ago

#20073 closed defect (fixed)

p-adic extensions with non-monic polynomials

Reported by: David Roe Owned by:
Priority: major Milestone: sage-7.1
Component: padics Keywords: sd87
Cc: Merged in:
Authors: Adele Bourgeois Reviewers: GaYee Park
Report Upstream: N/A Work issues:
Branch: 48be601 (Commits, GitHub, GitLab) Commit: 48be601fe35d7d56ec6cbbb6d21bb6921230b7eb
Dependencies: Stopgaps:

Status badges

Description

sage: A = Qp(3,5)
sage: Po.<X> = A[]
sage: f = Po([3,0,-1])
sage: K.<a> = A.ext(f)
Traceback (most recent call last):
...
UnboundLocalError: local variable 'preseed' referenced before assignment

Change History (13)

comment:1 Changed 7 years ago by Ander

Branch: u/asteele/ticket/20073

comment:2 Changed 7 years ago by Ander

Commit: 7f966970ce066669c13ec27ef5d6c13eaf6441dd
Status: newneeds_review

New commits:

7f96697Fixed typo with variable assignment

comment:3 Changed 7 years ago by David Roe

Status: needs_reviewneeds_work

So, whenever you fix a bug you also need to add doctests to show that the bug has been fixed. In this case, try creating some extensions defined by non-monic polynomials and playing around with them. Do they behave as you would want?

comment:4 Changed 7 years ago by git

Commit: 7f966970ce066669c13ec27ef5d6c13eaf6441ddbbb7268c1692a0068a9d4bd5ae7624eadf321454

Branch pushed to git repo; I updated commit sha1. New commits:

bbb7268added doctests

comment:5 Changed 7 years ago by David Roe

Your branch doesn't merge against develop. I think the following will work, if executed from within the sage folder:

~/sage$ git fetch trac develop:develop
~/sage$ git pull develop

comment:6 Changed 7 years ago by git

Commit: bbb7268c1692a0068a9d4bd5ae7624eadf3214548081eab7fac81a3cef7d40133937bc2ca01baa38

Branch pushed to git repo; I updated commit sha1. New commits:

ee461b6merge with develop
8081eabadded doctests after fixing conflicts

comment:7 Changed 7 years ago by Ander

Thanks for the help! Should merge cleanly now.

comment:8 Changed 7 years ago by David Roe

Cool. You should also add some tests showing that the resulting extensions have the right defining polynomial.

comment:9 Changed 5 years ago by Alyson Deines

Keywords: sd87 added

comment:10 Changed 5 years ago by Adèle Bourgeois

Branch: u/asteele/ticket/20073u/abourgeois/ticket/20073

comment:11 Changed 5 years ago by Adèle Bourgeois

Authors: Adele Bourgeois
Commit: 8081eab7fac81a3cef7d40133937bc2ca01baa3848be601fe35d7d56ec6cbbb6d21bb6921230b7eb
Status: needs_workneeds_review

New commits:

063b58cMerge branch 'develop' into t/20073/ticket/20073
48be601Added documentation to verify that the extension has the right defining polynomial

comment:12 Changed 5 years ago by GaYee Park

Reviewers: GaYee Park
Status: needs_reviewpositive_review

All test passed

comment:13 Changed 5 years ago by Volker Braun

Branch: u/abourgeois/ticket/2007348be601fe35d7d56ec6cbbb6d21bb6921230b7eb
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.