Ensure all deprecated bindings from AA are re-exported (#1600)

Nemocas · Dec 22, 2023 · 69357eb · 69357eb
1 parent 00b0cb8
commit 69357eb
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 3 deletions.
diff --git a/Project.toml b/Project.toml
@@ -16,7 +16,7 @@ RandomExtensions = "fb686558-2515-59ef-acaa-46db3789a887"
 SHA = "ea8e919c-243c-51af-8825-aaa63cd721ce"
 
 [compat]
-AbstractAlgebra = "0.34.3"
+AbstractAlgebra = "0.34.7"
 Antic_jll = "~0.201.500"
 Arb_jll = "~200.2300.000"
 Calcium_jll = "~0.401.100"

diff --git a/src/Aliases.jl b/src/Aliases.jl
@@ -1,3 +1,5 @@
+include(joinpath(pathof(AbstractAlgebra), "..", "Aliases.jl"))
+
 # make some Julia names compatible with our naming conventions
 @alias is_equal isequal
 @alias is_finite isfinite

diff --git a/src/embedding/embedding.jl b/src/embedding/embedding.jl
@@ -4,7 +4,7 @@
 #
 ################################################################################
 
-export embed, preimage, preimage_map
+export is_embedded, embed, preimage, preimage_map
 
 ################################################################################
 #

diff --git a/src/flint/fmpz_mod.jl b/src/flint/fmpz_mod.jl
@@ -4,7 +4,7 @@
 #
 ###############################################################################
 
-export ZZModRingElem
+export ZZModRing, ZZModRingElem
 
 ###############################################################################
 #