#13053: wrong sign in square-free decomposition of polynomials over ZZ
---------------------------------------+------------------------------------
       Reporter:  saraedum             |         Owner:  tbd     
           Type:  defect               |        Status:  new     
       Priority:  major                |     Milestone:  sage-5.1
      Component:  factorization        |    Resolution:          
       Keywords:  sd40.5 FLINT NTL ZZ  |   Work issues:          
Report Upstream:  N/A                  |     Reviewers:          
        Authors:                       |     Merged in:          
   Dependencies:                       |      Stopgaps:          
---------------------------------------+------------------------------------

Comment (by saraedum):

 The problem is that the FLINT/NTL return a different content:

 {{{
 sage: R.<x> = PolynomialRing(ZZ,implementation="FLINT")
 sage: (-x).content()
 1
 sage: R.<x> = PolynomialRing(ZZ,implementation="NTL")
 sage: (-x).content()
 -1
 }}}

 If the content should just be a generator of the ideal generated by the
 coefficients, then both are correct. Personally, I think that NTL's
 behaviour is more intuitive though.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13053#comment:2>
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