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

Reply via email to