Remove is_integral

oscar-system · Aug 20, 2024 · 50c7982 · 50c7982
1 parent 746ac41
commit 50c7982
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 6 deletions.
diff --git a/experimental/LieAlgebras/src/LieAlgebras.jl b/experimental/LieAlgebras/src/LieAlgebras.jl
@@ -56,7 +56,6 @@ import ..Oscar:
   inv,
   is_abelian,
   is_finite,
-  is_integral,
   is_isomorphism,
   is_nilpotent,
   is_perfect,

diff --git a/experimental/LieAlgebras/src/RootSystem.jl b/experimental/LieAlgebras/src/RootSystem.jl
@@ -883,10 +883,6 @@ function is_dominant(w::WeightLatticeElem)
   return all(>=(0), coefficients(w))
 end
 
-function is_integral(w::WeightLatticeElem)
-  return all(is_integer, coefficients(w))
-end
-
 @doc raw"""
     reflect(w::WeightLatticeElem, s::Int) -> WeightLatticeElem
     
@@ -946,7 +942,6 @@ julia> dim_of_simple_module(R, [1, 0])
 function dim_of_simple_module(T::Type, R::RootSystem, hw::WeightLatticeElem)
   @req root_system(hw) === R "parent root system mismatch"
   @req is_dominant(hw) "not a dominant weight"
-  @req is_integral(hw) "not an integral weight"
   rho = weyl_vector(R)
   hw_rho = hw + rho
   num = one(ZZ)