Move pirated stuff from Nemo (#1412)

Nemocas · Sep 12, 2023 · 723898c · 723898c · thofma · Sep 13, 2023
1 parent 860e85c
commit 723898c
Show file tree

Hide file tree

Showing 4 changed files with 797 additions and 11 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,6 @@
 name = "AbstractAlgebra"
 uuid = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
-version = "0.31.1"
+version = "0.32.0"
 
 [deps]
 GroupsCore = "d5909c97-4eac-4ecc-a3dc-fdd0858a4120"

diff --git a/src/AbstractAlgebra.jl b/src/AbstractAlgebra.jl
@@ -1284,6 +1284,14 @@ include("Groups.jl")
 
 include("Deprecations.jl")
 
+################################################################################
+#
+#   Stuff moved from Nemo
+#
+################################################################################
+
+include("NemoStuff.jl")
+
 ###############################################################################
 #
 #   Array creation functions