From f455d6d3c3267452d36cdb07f0a6cdba607c31af Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Fri, 15 Nov 2024 14:37:31 +0100 Subject: [PATCH] Apply suggestions from code review --- experimental/LieAlgebras/src/WeylGroup.jl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/experimental/LieAlgebras/src/WeylGroup.jl b/experimental/LieAlgebras/src/WeylGroup.jl index 1d89b8cc2392..6683f177baf9 100644 --- a/experimental/LieAlgebras/src/WeylGroup.jl +++ b/experimental/LieAlgebras/src/WeylGroup.jl @@ -529,8 +529,8 @@ end Construct a group of type `FPGroup` that is isomorphic to `W`. -This is achieved by constructing a free group with the same rank as `W`, -and adding relations corresponding to the Coxeter relations of `W`. +The `FPGroup` will be the quotient of a free group with the same rank as `W`, +where we have the natural 1-to-1 correspondence of generators, modulo the Coxeter relations of `W`. Also see: [`isomorphism(::Type{FPGroup}, ::WeylGroup)`](@ref). """ @@ -543,7 +543,7 @@ end Construct an isomorphism between `W` and a group of type `FPGroup`. -The codomain of this isomorphism is [`fp_group(::WeylGroup)`](@ref). +The properties of the codomain group and the isomorphism are described in [`fp_group(::WeylGroup)`](@ref). """ function isomorphism(::Type{FPGroup}, W::WeylGroup; set_properties::Bool=true) R = root_system(W)