#7711: integral() does not reduce coefficients in finite field
---------------------------------------+------------------------------------
Reporter: zimmerma | Owner: malb
Type: defect | Status: positive_review
Priority: major | Milestone:
sage-duplicate/invalid/wontfix
Component: commutative algebra | Resolution:
Keywords: rd2 | Work issues:
Report Upstream: N/A | Reviewers:
Authors: | Merged in:
Dependencies: | Stopgaps:
---------------------------------------+------------------------------------
Comment (by dsm):
I don't agree that this has been fixed. In 5.0.beta8, I only have to go
up to the next prime:
{{{
sage: def f(N):
....: P.<x,z> = PolynomialRing(GF(N))
....: Q.<y> = PolynomialRing(P)
....: p=x+y+z
....: return p.integral()
....:
sage: N = 2147483647
sage: f(N)
-1073741823*y^2 + (x + z)*y
sage: N = next_prime(N)
sage: N
2147483659
sage: f(N)
1/2*y^2 + (x + z)*y
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7711#comment:6>
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.