#11055: Bug in mapping to residue fields
-----------------------------+----------------------------------------------
Reporter: cremona | Owner: davidloeffler
Type: defect | Status: new
Priority: major | Milestone: sage-4.7
Component: number fields | Keywords: residue field
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------+----------------------------------------------
See #9417:
{{{
sage: K.<a> = NumberField(x^2+18*x+1)
sage: P = K.ideal(2)
sage: F = K.residue_field(P)
sage: R = PolynomialRing(F, 'x')
sage: R([0, a, a, 1])
x^3 + abar*x^2 + abar*x
sage: F(a)
1
sage: a.minpoly()
x^2 + 18*x + 1
sage: F.gen()
abar
sage: F.gen().minpoly()
x^2 + x + 1
}}}
The polynomial {{{x^3+a*x^2+a*x}}} reduced modulo P=(2) wrongly to
{{{x^3+abar*x^2+abar*x}}}. Although the generator of the residue field F
is suggestively called abar, it it *not* the reduction of a mod P (which
is 1 mod P).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11055>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
