squash commits

experimental/LieAlgebras/docs/src/crystals.md

@@ -0,0 +1,19 @@
+# Crystals
+
+According to Kashiwara a crystal is a set $B$ together with the following maps
+
+This is realised in OSCAR through the `AbstractCrystal` and `AbstractCrystalElem` interfaces and the following methods
+
+```@docs
+ealpha(::AbstractCrystalElem, i::Int)
+falpha(::AbstractCrystalElem, i::Int)
+weight(::AbstractCrystalElem)
+```
+
+Additionally the following methods are provided
+```@docs
+ealpha(::AbstractCrystalElem, i::Int, n::Int)`
+ealpha(::AbstractCrystalElem, i::Vector{Int}, n::Vector{Int})
+falpha(::AbstractCrystalElem, i::Int, n::Int)`
+falpha(::AbstractCrystalElem, i::Vector{Int}, n::Vector{Int})
+```

experimental/LieAlgebras/src/LieAlgebras.jl

@@ -4,7 +4,7 @@ module LieAlgebras
 
 using ..Oscar
 
-import Oscar: GAPWrap, IntegerUnion, MapHeader
+import Oscar: GAPWrap, IntegerUnion, MapHeader, weight
 
 import Random
 
@@ -85,8 +85,9 @@ import ..Oscar:
 
 Oscar.@import_all_serialization_functions
 
-import Base: getindex, deepcopy_internal, hash, issubset, iszero, parent, zero
+import Base: getindex, deepcopy_internal, hash, issubset, iszero, max, parent, zero
 
+export AbstractCrystal, AbstractCrystalElem
 export AbstractLieAlgebra, AbstractLieAlgebraElem
 export DirectSumLieAlgebra, DirectSumLieAlgebraElem
 export DualRootSpaceElem
@@ -97,6 +98,7 @@ export LieAlgebraModule, LieAlgebraModuleElem
 export LieAlgebraModuleHom
 export LieSubalgebra
 export LinearLieAlgebra, LinearLieAlgebraElem
+export LSPathModel, LSPathModelElem
 export RootSpaceElem
 export RootSystem
 export WeightLatticeElem
@@ -112,6 +114,7 @@ export _is_tensor_power
 export _is_tensor_product
 export abelian_lie_algebra
 export abstract_module
+export adapted_string
 export base_lie_algebra
 export bilinear_form
 export bracket
@@ -132,10 +135,14 @@ export coxeter_matrix
 export derived_algebra
 export dim_of_simple_module
 export dominant_character
+export dominant_path
+export ealpha, ealpha!
 export exterior_power
+export falpha, falpha!
 export fundamental_weight
 export fundamental_weights
 export general_linear_lie_algebra
+export halpha
 export induced_map_on_symmetric_power
 export induced_map_on_tensor_power
 export is_cartan_matrix
@@ -162,6 +169,8 @@ export lie_algebra
 export lmul, lmul!
 export longest_element
 export lower_central_series
+export ls_path_model
+export ls_sequence
 export matrix_repr_basis
 export multicombinations
 export negative_coroot
@@ -215,6 +224,7 @@ include("CoxeterGroup.jl")
 include("RootSystem.jl")
 include("DynkinDiagram.jl")
 include("WeylGroup.jl")
+include("PathModel.jl") # depends on WeylGroup.jl
 
 include("Util.jl")
 include("LieAlgebra.jl")
@@ -236,6 +246,7 @@ end # module LieAlgebras
 
 using .LieAlgebras
 
+export AbstractCrystal, AbstractCrystalElem
 export AbstractLieAlgebra, AbstractLieAlgebraElem
 export DirectSumLieAlgebra, DirectSumLieAlgebraElem
 export DualRootSpaceElem
@@ -246,6 +257,7 @@ export LieAlgebraModule, LieAlgebraModuleElem
 export LieAlgebraModuleHom
 export LieSubalgebra
 export LinearLieAlgebra, LinearLieAlgebraElem
+export LSPathModel, LSPathModelElem
 export RootSpaceElem
 export RootSystem
 export WeightLatticeElem
@@ -254,6 +266,7 @@ export WeylOrbitIterator
 
 export abelian_lie_algebra
 export abstract_module
+export adapted_string
 export base_lie_algebra
 export bilinear_form
 export bracket
@@ -272,10 +285,14 @@ export coxeter_matrix
 export derived_algebra
 export dim_of_simple_module
 export dominant_character
+export dominant_path
+export ealpha, ealpha!
 export exterior_power
+export falpha, falpha!
 export fundamental_weight
 export fundamental_weights
 export general_linear_lie_algebra
+export halpha
 export induced_map_on_symmetric_power
 export induced_map_on_tensor_power
 export is_cartan_matrix
@@ -302,6 +319,8 @@ export lie_algebra
 export lmul, lmul!
 export longest_element
 export lower_central_series
+export ls_path_model
+export ls_sequence
 export matrix_repr_basis
 export negative_coroot
 export negative_coroots