kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-24 02:00:30 +01:00
Code Issues Releases Wiki Activity

remove old unsed definition for Positive

Browse Source
This commit is contained in:
Marek Kaluba 2022-11-08 12:00:20 +01:00
parent 4e93e78a9b
commit fee9c38537
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 0 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/gradings.jl
View File

@ -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)