From 4a9c558516169abac6914832d70c8539ee9b4f6f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Thu, 30 Nov 2023 15:55:13 +0100
Subject: [PATCH] Make compatible with latest oscar

---
 src/PBWDeformations.jl                | 4 ++--
 test/SmashProductPBWDeformLie-test.jl | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/PBWDeformations.jl b/src/PBWDeformations.jl
index 62d1a41..5628673 100644
--- 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
index 4ebc673..89a47a4 100644
--- 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)