From fee9c38537a56662ae419aeb98373d5edffb1066 Mon Sep 17 00:00:00 2001 From: Marek Kaluba Date: Tue, 8 Nov 2022 12:00:20 +0100 Subject: [PATCH] remove old unsed definition for Positive --- src/gradings.jl | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/src/gradings.jl b/src/gradings.jl index f6de948..1f20d6b 100644 --- a/src/gradings.jl +++ b/src/gradings.jl @@ -13,16 +13,6 @@ function Roots.Root(s::MatrixGroups.ElementarySymplectic{N}) where {N} end end -function Roots.positive( - generating_set::AbstractVector{<:MatrixGroups.ElementarySymplectic}, -) - r = Roots._positive_direction(Roots.Root(first(generating_set))) - pos_gens = [ - s for s in generating_set if s.val > 0.0 && dot(Roots.Root(s), r) ≥ 0.0 - ] - return pos_gens -end - grading(s::MatrixGroups.ElementarySymplectic) = Roots.Root(s) grading(e::MatrixGroups.ElementaryMatrix) = Roots.Root(e)