#10270: proof.polynomial(False) has no effect on factor
-----------------------------------+----------------------------------------
   Reporter:  zimmerma             |       Owner:  malb      
       Type:  defect               |      Status:  new       
   Priority:  minor                |   Milestone:  sage-4.6.1
  Component:  commutative algebra  |    Keywords:            
     Author:                       |    Upstream:  N/A       
   Reviewer:                       |      Merged:            
Work_issues:                       |  
-----------------------------------+----------------------------------------
 the documentation of {{{proof.polynomial}}} says:
 {{{
 If t == False, allows polynomial algorithms to (by
 default) return results that may depend on unproven conjectures
 or on probabilistic algorithms.
 }}}
 However this does not work with the {{{factor}}} function:
 {{{
 sage: proof.polynomial(False)
 sage: R.<x,y,z> = GF(3)[]
 sage: (x^2*z^2+x*y*z-y^2).factor()
 ---------------------------------------------------------------------------
 NotImplementedError                       Traceback (most recent call
 last)
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10270>
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