Opened 7 years ago

Closed 7 years ago

#13977 closed defect (fixed)

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 Merged in: sage-5.7.beta0
Authors: Charles Bouillaguet Reviewers: Martin Albrecht
Report Upstream: N/A Work issues:
Branch: Commit:
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 (1)

13977_variety_full_ideal.patch (10.0 KB) - added by Bouillaguet 7 years ago.

Download all attachments as: .zip

Change History (4)

Changed 7 years ago by Bouillaguet

comment:1 Changed 7 years ago by Bouillaguet

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

comment:2 Changed 7 years ago by malb

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

makes sense

comment:3 Changed 7 years ago by jdemeyer

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