#7711: integral() does not reduce coefficients in finite field
---------------------------------------+------------------------------------
Reporter: zimmerma | Owner: malb
Type: defect | Status: needs_work
Priority: major | Milestone: sage-5.0
Component: commutative algebra | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: | Merged in:
Dependencies: | Stopgaps:
---------------------------------------+------------------------------------
Comment (by AlexGhitza):
For large primes, Sage uses polydicts for representing multivariate
polynomials, instead of using Singular. The trouble here is that dividing
a polydict by another polydict automatically creates the fraction field,
even when the denominator is actually an element of the coefficient ring.
The attached patch tries to detect this (relatively common) special case
and perform the division in the coefficient ring instead of going to the
fraction field of the ring of polynomials. This fixes the problems with
{{{integral()}}} reported here.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7711#comment:9>
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.