Ticket #13977 (closed defect: fixed)

Opened 4 months ago

Last modified 4 months ago

variety() of full ideals fails, whereas it should just be empty

Reported by: Bouillaguet Owned by: malb
Priority: major Milestone: sage-5.7
Component: commutative algebra Keywords:
Cc: malb Work issues:
Report Upstream: N/A Reviewers: Martin Albrecht
Authors: Charles Bouillaguet Merged in: sage-5.7.beta0
Dependencies: Stopgaps:

Description 

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.

Attachments

13977_variety_full_ideal.patch Download (10.0 KB) - added by Bouillaguet 4 months ago.

Change History

Changed 4 months ago by Bouillaguet

comment:1 Changed 4 months ago by Bouillaguet

  • Cc malb added
  • Status changed from new to needs_review
  • Authors set to Charles Bouillaguet

comment:2 Changed 4 months ago by malb

  • Status changed from needs_review to positive_review
  • Reviewers set to Martin Albrecht

makes sense

comment:3 Changed 4 months ago by jdemeyer

  • Status changed from positive_review to closed
  • Resolution set to fixed
  • Merged in set to sage-5.7.beta0
Note: See TracTickets for help on using tickets.