#10902: proof=False unnecessary in factor()
----------------------------------------------------+-----------------------
       Reporter:  zimmerma                          |         Owner:  malb      
  
           Type:  defect                            |        Status:  
needs_review
       Priority:  critical                          |     Milestone:  sage-5.0  
  
      Component:  commutative algebra               |    Resolution:            
  
       Keywords:  sd34                              |   Work issues:            
  
Report Upstream:  N/A                               |     Reviewers:            
  
        Authors:  Martin Albrecht, Paul Zimmermann  |     Merged in:            
  
   Dependencies:  #10903                            |      Stopgaps:            
  
----------------------------------------------------+-----------------------

Comment (by zimmerma):

 thanks to Jeroen, I've managed to build Sage 5.0.beta13. However the issue
 reported in comment
 [comment:20] is still present, whereas it took about one second in Sage
 4.8:
 {{{
 sage: K=GF(4,'a')
 sage: a=K.gens()[0]
 sage: R.<x,y> = K[]
 sage: f=(a + 1)*x^145*y^84 + (a + 1)*x^205*y^17 + x^32*y^112 + x^92*y^45
 sage: time r=f.factor(proof=False)
 Time: CPU 1.08 s, Wall: 1.23 s
 sage: r
 y^17 * x^32 * (y^67 + x^60) * ((a + 1)*x^113 + y^28)
 }}}
 I'll be happy when this will be reported in another ticket.

 Paul

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