Adapt to #4052

oscar-system · Aug 30, 2024 · 5919c76 · 5919c76
1 parent 3487ed9
commit 5919c76
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/experimental/LieAlgebras/src/RootSystem.jl b/experimental/LieAlgebras/src/RootSystem.jl
@@ -1156,7 +1156,7 @@ function dominant_character(R::RootSystem, hw::WeightLatticeElem)
         (
           WeightLatticeElem(
             R,
-            transpose(first(intersect(elements(o)::Vector{ZZMatrix}, pos_roots_w_coeffs))),
+            transpose(first(intersect(elements(o), pos_roots_w_coeffs))),
           ),
           length(o),
         ) for o in O

diff --git a/src/Groups/gsets.jl b/src/Groups/gsets.jl
@@ -787,7 +787,7 @@ end
 
 acting_domain(Omega::GSet) = acting_group(Omega)
 
-Base.length(Omega::GSetByElements) = length(elements(Omega))::Int
+Base.length(Omega::GSetByElements) = length(elements(Omega))
 Base.length(::Type{T}, Omega::GSetByElements) where T <: IntegerUnion = T(length(elements(Omega)))
 
 representative(Omega::GSetByElements) = first(Omega.seeds)