Opened 4 years ago
Closed 4 years ago
#25879 closed defect (fixed)
Residue incorrect for extensions of CA and FM extensions
Reported by: | saraedum | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-8.4 |
Component: | padics | Keywords: | |
Cc: | roed, xcaruso | Merged in: | |
Authors: | Julian Rüth | Reviewers: | Frédéric Chapoton |
Report Upstream: | N/A | Work issues: | |
Branch: | 5917d5d (Commits, GitHub, GitLab) | Commit: | 5917d5d7daedd95f0bd1e30873eb0f5842694148 |
Dependencies: | Stopgaps: |
Description (last modified by )
This has been reported on sage-devel recently:
sage: K = ZpCA(3,5) sage: R.<a> = K[] sage: L.<a> = K.extension(a^2 - 3) sage: a.residue() 1
Change History (9)
comment:1 Changed 4 years ago by
- Type changed from PLEASE CHANGE to defect
comment:2 Changed 4 years ago by
comment:3 Changed 4 years ago by
- Branch set to u/saraedum/25879
comment:4 Changed 4 years ago by
- Cc roed xcaruso added
- Commit set to ff8e3f43bd437159be23fd35ec9289fbe2bd36d5
- Description modified (diff)
New commits:
ff8e3f4 | Port expansion fix from CR to CA and FM
|
comment:5 Changed 4 years ago by
- Commit changed from ff8e3f43bd437159be23fd35ec9289fbe2bd36d5 to 5917d5d7daedd95f0bd1e30873eb0f5842694148
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
5917d5d | Port expansion fix from CR to CA and FM
|
comment:6 Changed 4 years ago by
- Status changed from new to needs_review
- Work issues set to is the patchbot happy?
New commits:
5917d5d | Port expansion fix from CR to CA and FM
|
comment:7 Changed 4 years ago by
- Reviewers set to Frédéric Chapoton
- Status changed from needs_review to positive_review
let it be
comment:8 Changed 4 years ago by
- Work issues is the patchbot happy? deleted
comment:9 Changed 4 years ago by
- Branch changed from u/saraedum/25879 to 5917d5d7daedd95f0bd1e30873eb0f5842694148
- Resolution set to fixed
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
The issue seems to be in
expansion(n)
:The problem is a line that says:
Here the index is negative in our case (
n=0
,self.ordp=1
)