#13671: p.lift(...) results are non-deterministic and incoherent for 
multivariate
polynomials
-----------------------------------------------------------------+----------
       Reporter:  Bouillaguet                                    |         
Owner:  malb        
           Type:  defect                                         |        
Status:  needs_review
       Priority:  major                                          |     
Milestone:  sage-5.5    
      Component:  commutative algebra                            |    
Resolution:              
       Keywords:  polynomial rings, mathematically wrong result  |   Work 
issues:              
Report Upstream:  N/A                                            |     
Reviewers:              
        Authors:  Charles Bouillaguet                            |     Merged 
in:              
   Dependencies:                                                 |      
Stopgaps:              
-----------------------------------------------------------------+----------
Changes (by Bouillaguet):

  * status:  needs_work => needs_review


Comment:

 Replying to [comment:4 mstreng]:
 > ps. Would it be possible to add a check which error was reported by
 Singular? Just in case self is in I, but Singular reports an error for
 some other reason (in which case I guess {{{RuntimeError}}} is
 appropriate).

 I renamed myself and tested that Singular returns ``1`` when the
 polynomial is not in the ideal...

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