From 83e55a762f6f1327ae560a461a25bd69e67cb22b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Fri, 20 Dec 2024 16:18:08 +0100 Subject: [PATCH] Apply suggestions from code review --- experimental/LieAlgebras/src/RootSystem.jl | 4 ++-- src/LieTheory/WeylGroup.jl | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/experimental/LieAlgebras/src/RootSystem.jl b/experimental/LieAlgebras/src/RootSystem.jl index 452fc249be6..e1202ec58f3 100644 --- a/experimental/LieAlgebras/src/RootSystem.jl +++ b/experimental/LieAlgebras/src/RootSystem.jl @@ -368,9 +368,9 @@ end demazure_operator(r::RootSpaceElem, w::WeightLatticeElem) -> Dict{WeightLatticeElem,<:IntegerUnion} demazure_operator(r::RootSpaceElem, groupringelem::Dict{WeightLatticeElem,<:IntegerUnion}) -> Dict{WeightLatticeElem,<:IntegerUnion} - Computes the action of the Demazure operator associated to the positive root `r` on the given element of the groupring $\mathbb{Z}[P]$. +Computes the action of the Demazure operator associated to the positive root `r` on the given element of the groupring $\mathbb{Z}[P]$. - If a single Weight lattice element `w` is supplied, this is interpreted as `Dict(w => 1)`. +If a single Weight lattice element `w` is supplied, this is interpreted as `Dict(w => 1)`. # Examples ```jldoctest diff --git a/src/LieTheory/WeylGroup.jl b/src/LieTheory/WeylGroup.jl index 9fb3bb72bd8..14cef9a8209 100644 --- a/src/LieTheory/WeylGroup.jl +++ b/src/LieTheory/WeylGroup.jl @@ -519,7 +519,7 @@ end @doc raw""" reflection(beta::RootSpaceElem) -> WeylGroupElem -Return the Weyl group element corresponding to the reflection at the hyperplane orthogonal to root `beta`. +Return the Weyl group element corresponding to the reflection at the hyperplane orthogonal to the root `beta`. """ function reflection(beta::RootSpaceElem) R = root_system(beta)