Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

very serious bug in number field residue_field #1342

Closed
williamstein opened this issue Nov 30, 2007 · 3 comments
Closed

very serious bug in number field residue_field #1342

williamstein opened this issue Nov 30, 2007 · 3 comments
Assignees
@williamstein
Labels
c: number theory p: critical / 2 t: bug
Milestone
sage-2.8.15

Comments

@williamstein
Copy link
Contributor

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.

Component: number theory

Issue created by migration from https://trac.sagemath.org/ticket/1342
@williamstein williamstein added this to the sage-2.9 milestone Nov 30, 2007
@williamstein williamstein self-assigned this Nov 30, 2007
@williamstein
Copy link
Contributor Author

Attachment: trac1342.patch.gz

Attachment: trac1342-part2.patch.gz

@roed314
Copy link
Contributor

roed314 commented Dec 2, 2007

comment:1

Looks good to me. -- David Roe

@sagetrac-mabshoff
Copy link
Mannequin

sagetrac-mabshoff mannequin commented Dec 2, 2007

comment:2

Merged in 2.8.15.alpha2.

@sagetrac-mabshoff sagetrac-mabshoff mannequin modified the milestones: sage-2.9, sage-2.8.15 Dec 2, 2007
@sagetrac-mabshoff sagetrac-mabshoff mannequin closed this as completed Dec 2, 2007
@williamstein williamstein mentioned this issue Dec 29, 2022
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@williamstein williamstein

Labels
c: number theory p: critical / 2 t: bug
Projects
None yet
Milestone
sage-2.8.15
Development

No branches or pull requests
2 participants
@roed314 @williamstein