Ticket #1342 (closed defect: fixed)
very serious bug in number field residue_field
| Reported by: | was | Owned by: | was |
|---|---|---|---|
| Priority: | critical | Milestone: | sage-2.8.15 |
| Component: | number theory | Keywords: | |
| Cc: | Author(s): | ||
| Report Upstream: | Reviewer(s): | ||
| Merged in: | Work issues: |
Description
Notice that the parent of a changes below when you do a*a!!
sage: K.<z> = CyclotomicField(7) sage: P = K.factor_integer(17)[0][0] sage: ff = K.residue_field(P) sage: a = ff(z) sage: parent(a) Residue field of Fractional ideal (17) sage: parent(a*a) Finite Field in z of size 17^6
This doesn't happen if 17 is replaced by something much smaller. The problem is an optimization in finite field pari element, which has two separate parent attributes. BAD.
Attachments
-
trac1342.patch
(18.9 KB) - added by was
2 years ago.
-
trac1342-part2.patch
(0.9 KB) - added by was
2 years ago.
Change History
Note: See
TracTickets for help on using
tickets.
