Opened 9 years ago

Closed 9 years ago

#9810 closed defect (fixed)

Heisenbug in RationalPolyhedralCone.facets

Reported by: vbraun Owned by: mhampton
Priority: major Milestone: sage-4.6
Component: geometry Keywords:
Cc: novoselt Merged in: sage-4.6.alpha1
Authors: Andrey Novoseltsev Reviewers: Volker Braun
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

The faces method of a cone in a fan manages to screw up subsequent facet output: 

sage: cone = toric_varieties.dP8().fan().generating_cone(0)
sage: cone
2-d cone of Rational polyhedral fan in 2-d lattice N
sage: cone.facets()
(1-d cone of Rational polyhedral fan in 2-d lattice N, 1-d cone of Rational polyhedral fan in 2-d lattice N)
sage: cone.faces()
((0-d cone of Rational polyhedral fan in 2-d lattice N,), (1-d cone of Rational polyhedral fan in 2-d lattice N, 1-d cone of Rational polyhedral fan in 2-d lattice N), (2-d cone of Rational polyhedral fan in 2-d lattice N,))
sage: cone.facets()
(2-d cone of Rational polyhedral fan in 2-d lattice N,)

This is on vanilla Sage 4.5.2 without any patches applied. Andrey, I think its somewhere in your code so you'll probably find it faster than I can.

Attachments (1)

trac_9810_cone_faces_invalidates_facets.patch​ (1.6 KB) - added by novoselt 9 years ago.

Download all attachments as: .zip

Change History (5)

Changed 9 years ago by novoselt

comment:1 Changed 9 years ago by novoselt

  • Authors set to Andrey Novoseltsev
  • Status changed from new to needs_review

Should be 2 instead of 1... Thanks for catching!

comment:2 Changed 9 years ago by vbraun

  • Reviewers set to Volker Braun
  • Status changed from needs_review to positive_review

Fixes it!

comment:3 Changed 9 years ago by novoselt

  • Milestone set to sage-4.5.3

comment:4 Changed 9 years ago by mpatel

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