#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.

Reply via email to