Apply suggestions from code review

oscar-system · Dec 20, 2024 · 83e55a7 · 83e55a7
1 parent 422ed18
commit 83e55a7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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)