From da7e6b6287d4867de201ee282553e135ea1a7300 Mon Sep 17 00:00:00 2001 From: Dennis Jahn Date: Thu, 14 Oct 2021 09:38:17 +0200 Subject: [PATCH] Added zero vertex to the cone For the empty interval or incomparable elements the cone should be the origin, not the empty cone --- src/sage/combinat/root_system/reflection_group_real.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sage/combinat/root_system/reflection_group_real.py b/src/sage/combinat/root_system/reflection_group_real.py index 37cae2c25f0..461019c5f89 100644 --- a/src/sage/combinat/root_system/reflection_group_real.py +++ b/src/sage/combinat/root_system/reflection_group_real.py @@ -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):