#5958: [with patch, needs work] MPolynomial_polydict.factor() should accept 
proof
parameter
---------------------------------+------------------------------------------
 Reporter:  malb                 |       Owner:  malb            
     Type:  defect               |      Status:  new             
 Priority:  major                |   Milestone:  sage-3.4.2      
Component:  commutative algebra  |    Keywords:  singular, factor
---------------------------------+------------------------------------------

Comment(by AlexGhitza):

 Two issues:

  * in the first patch, "proofably" should be "provably"

  * I'm getting some slight numerical noise in the doctests from the second
 patch:

 {{{
 sage -t  "devel/sage-main/sage/rings/polynomial/multi_polynomial_ideal.py"
 **********************************************************************
 File "/opt/sage-devel/devel/sage-
 main/sage/rings/polynomial/multi_polynomial_ideal.py", line 1908:
     sage: for v in I.variety():
        print v
 Expected:
     verbose 0 (...: multi_polynomial_ideal.py, variety) Warning: falling
 back to very slow toy implementation.
     {y: -0.866025403784439 - 0.500000000000000*I, x: -0.866025403784438 +
 0.500000000000000*I}
     {y: -0.866025403784438 + 0.500000000000000*I, x: -0.866025403784438 -
 0.499999999999999*I}
     {y: 0.866025403784438 + 0.500000000000001*I, x: 0.866025403784440 -
 0.499999999999999*I}
     {y: 0.866025403784439 - 0.500000000000000*I, x: 0.866025403784439 +
 0.500000000000000*I}
 Got:
     verbose 0 (1735: multi_polynomial_ideal.py, variety) Warning: falling
 back to very slow toy implementation.
     {y: -0.866025403784439 - 0.500000000000000*I, x: -0.866025403784439 +
 0.500000000000001*I}
     {y: -0.866025403784439 + 0.500000000000000*I, x: -0.866025403784439 -
 0.500000000000000*I}
     {y: 0.866025403784438 + 0.500000000000000*I, x: 0.866025403784438 -
 0.499999999999999*I}
     {y: 0.866025403784439 - 0.500000000000000*I, x: 0.866025403784438 +
 0.500000000000001*I}
 **********************************************************************
 1 items had failures:
    1 of  36 in __main__.example_34
 ***Test Failed*** 1 failures.
 For whitespace errors, see the file /opt/sage-
 devel/tmp/.doctest_multi_polynomial_ideal.py
          [12.8 s]
 exit code: 1024

 ----------------------------------------------------------------------
 The following tests failed:


         sage -t  "devel/sage-
 main/sage/rings/polynomial/multi_polynomial_ideal.py"
 Total time for all tests: 12.8 seconds
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5958#comment:4>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of 
Reinventing the Wheel

--~--~---------~--~----~------------~-------~--~----~
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