#13977: variety() of full ideals fails, whereas it should just be empty
-----------------------------------+----------------------------------------
   Reporter:  Bouillaguet          |             Owner:  malb    
       Type:  defect               |            Status:  new     
   Priority:  major                |         Milestone:  sage-5.7
  Component:  commutative algebra  |          Keywords:          
Work issues:                       |   Report Upstream:  N/A     
  Reviewers:                       |           Authors:          
  Merged in:                       |      Dependencies:          
   Stopgaps:                       |  
-----------------------------------+----------------------------------------
 {{{
 sage: R.<x,y> = QQ[]
 sage: I = R.ideal(1)
 sage: I.variety()
 Traceback (most recent call last):
 ...
 ValueError: The dimension of the ideal is -1, but it should be 0
 }}}

 While it's a matter of conventions whether ideals can have negative
 dimensions... the variety of QQ[x,y] should just be empty.

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