Move types into Types.jl

experimental/LieAlgebras/src/KashiwaraCrystal.jl

@@ -1,7 +1,3 @@
-abstract type KashiwaraCrystal <: AbstractAlgebra.Set end
-
-abstract type KashiwaraCrystalElem <: AbstractAlgebra.SetElem end
-
 module KashiwaraCrystal
 
 function e end

experimental/LieAlgebras/src/PathModel.jl

@@ -15,17 +15,11 @@ function adapted_string(p::KashiwaraCrystalElem, rdec::Vector{Int})
   return s
 end
 
-# LS Path Model
-
-struct LSPathModel
-  wt::WeightLatticeElem
-  ext::Dict{Vector{UInt8},ZZMatrix} # map from Weyl group elements to extremal weights
-
-  function LSPathModel(wt::WeightLatticeElem)
-    @req is_dominant(wt) "weight must be dominant"
-    return new(wt, Dict(UInt8[] => wt))
-  end
-end
+###############################################################################
+#
+#   LS path model
+#
+###############################################################################
 
 function Base.show(io::IO, mime::MIME"text/plain", P::LSPathModel)
   #@show_name(io, P)
@@ -91,22 +85,18 @@ function root_system(P::LSPathModel)
   return root_system(P.wt)
 end
 
-# LSPathModelElem
+function Base.hash(s::LSPathSegment, h::UInt)
+  b = 0x73a37b46bd4d49b4 % UInt
+  h = hash(s.t, h)
+  h = hash(s.w, h)
 
-struct LSPathSegment
-  t::QQFieldElem
-  w::WeylGroupElem
+  return xor(h, b)
 end
 
 function Base.:(==)(s1::LSPathSegment, s2::LSPathSegment)
   return s1.t == s2.t && s1.w == s2.w
 end
 
-struct LSPathModelElem <: KashiwaraCrystalElem
-  parent::LSPathModel
-  s::Vector{LSPathSegment}
-end
-
 function parent(p::LSPathModelElem)
   return p.parent
 end

experimental/LieAlgebras/src/Types.jl

@@ -136,6 +136,36 @@ struct WeylOrbitIterator
   end
 end
 
+###############################################################################
+#
+#   Kashiwara Crystals
+#
+###############################################################################
+
+abstract type KashiwaraCrystal <: AbstractAlgebra.Set end
+
+abstract type KashiwaraCrystalElem <: AbstractAlgebra.SetElem end
+
+struct LSPathModel
+  wt::WeightLatticeElem
+  ext::Dict{Vector{UInt8},ZZMatrix} # map from Weyl group elements to extremal weights
+
+  function LSPathModel(wt::WeightLatticeElem)
+    @req is_dominant(wt) "weight must be dominant"
+    return new(wt, Dict(UInt8[] => wt))
+  end
+end
+
+struct LSPathSegment
+  t::QQFieldElem
+  w::WeylGroupElem
+end
+
+struct LSPathModelElem <: KashiwaraCrystalElem
+  parent::LSPathModel
+  s::Vector{LSPathSegment}
+end
+
 ###############################################################################
 #
 #   Lie algebras

experimental/LieAlgebras/src/exports.jl

@@ -2,6 +2,8 @@
 # should be included twice in LieAlgebras.jl, once to export from Oscar.LieAlgebras
 # into Oscar, and once to export from Oscar.
 
+export KashiwaraCrystal
+
 export AbstractLieAlgebra, AbstractLieAlgebraElem
 export DirectSumLieAlgebra, DirectSumLieAlgebraElem
 export DualRootSpaceElem
@@ -12,6 +14,7 @@ export LieAlgebraModule, LieAlgebraModuleElem
 export LieAlgebraModuleHom
 export LieSubalgebra
 export LinearLieAlgebra, LinearLieAlgebraElem
+export LSPathModel, LSPathModelElem
 export RootSpaceElem
 export RootSystem
 export WeightLatticeElem
@@ -20,6 +23,7 @@ export WeylOrbitIterator
 
 export abelian_lie_algebra
 export abstract_module
+export adapted_string
 export base_lie_algebra
 export bilinear_form
 export bracket