Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Added zero vertex to the cone
Browse files Browse the repository at this point in the history
For the empty interval or incomparable elements the cone should be the origin, not the empty cone
  • Loading branch information
DennisJahn committed Oct 14, 2021
1 parent 8774d2d commit da7e6b6
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/sage/combinat/root_system/reflection_group_real.py
Original file line number Diff line number Diff line change
Expand Up @@ -746,12 +746,12 @@ def bruhat_cone(self, x, y, side = 'upper'):
raise ValueError("side must be either 'upper' or 'lower'")
from sage.geometry.polyhedron.constructor import Polyhedron
if self.is_crystallographic():
return Polyhedron(rays = roots, ambient_dim = self.rank())
return Polyhedron(vertices = [[0]*self.rank()], rays = roots, ambient_dim = self.rank())
else:
from warnings import warn
warn("Using floating point numbers for roots of unity. This might cause numerical errors!")
from sage.rings.real_double import RDF
return Polyhedron(rays = roots, ambient_dim = self.rank(), base_ring = RDF)
return Polyhedron(vertices = [[0]*self.rank()], rays = roots, ambient_dim = self.rank(), base_ring = RDF)

class Element(RealReflectionGroupElement, ComplexReflectionGroup.Element):

Expand Down

0 comments on commit da7e6b6

Please sign in to comment.