Make compatible with latest oscar

lgoettgens · Nov 30, 2023 · 4a9c558 · 4a9c558
1 parent b164756
commit 4a9c558
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/PBWDeformations.jl b/src/PBWDeformations.jl
@@ -17,7 +17,6 @@ using Oscar.LieAlgebras:
     combinations,
     exterior_power,
     general_linear_lie_algebra,
-    highest_weight_module,
     hom_direct_sum,
     hom_power,
     hom_tensor,
@@ -30,6 +29,7 @@ using Oscar.LieAlgebras:
     multicombinations,
     permutations,
     permutations_with_sign,
+    simple_module,
     special_linear_lie_algebra,
     special_orthogonal_lie_algebra,
     standard_module,
@@ -74,7 +74,6 @@ export edge_labels
 export edges
 export exterior_power
 export general_linear_lie_algebra
-export highest_weight_module
 export inneighbor
 export inneighbors
 export is_crossing_free
@@ -91,6 +90,7 @@ export nvertices
 export outneighbor
 export outneighbors
 export pbwdeform_eqs
+export simple_module
 export smash_product
 export special_linear_lie_algebra
 export special_orthogonal_lie_algebra

diff --git a/test/SmashProductPBWDeformLie-test.jl b/test/SmashProductPBWDeformLie-test.jl
@@ -33,7 +33,7 @@
 
         @testset "all_pbwdeformations tests" begin
             L = lie_algebra(QQ, :A, 1)
-            V = highest_weight_module(L, [1])
+            V = simple_module(L, [1])
             sp = smash_product(L, V)
             @testset "A_1 with hw [1], maxdeg = $maxdeg" for maxdeg in 0:8
                 basis = all_pbwdeformations(sp, 0:maxdeg)