Move some obvoius type piracy from Hecke/Nemo to AA

Nemocas · Jul 3, 2023 · 1549771 · 1549771
1 parent d626816
commit 1549771
Show file tree

Hide file tree

Showing 3 changed files with 887 additions and 1 deletion.
diff --git a/src/AbstractAlgebra.jl b/src/AbstractAlgebra.jl
@@ -295,7 +295,7 @@ include("AliasMacro.jl")
 include("Pluralize.jl")
 
 # alternative names for some functions from Base
-export is_empty, is_even, is_equal, is_finite, is_inf, is_integer, is_less, is_odd, is_one, is_real, is_subset, is_valid, is_zero
+export is_empty, is_even, is_equal, is_finite, is_inf, is_integer, is_less, is_odd, is_one, is_real, is_subset, is_valid, is_zero, set_precision
 
 @alias is_empty isempty
 @alias is_even iseven
@@ -310,6 +310,7 @@ export is_empty, is_even, is_equal, is_finite, is_inf, is_integer, is_less, is_o
 @alias is_subset issubset
 @alias is_valid isvalid
 @alias is_zero iszero
+@alias set_precision setprecision
 
 # alternative names for some functions from GroupsCore
 export is_trivial
@@ -819,6 +820,7 @@ export divexact_low
 export divexact_right
 export divhigh
 export divides
+export divisible
 export domain
 export downscale
 export elem_type
@@ -901,6 +903,7 @@ export is_homogeneous
 export is_invertible
 export is_invertible_with_inverse
 export is_isomorphic
+export is_lower_triangular
 export is_monic
 export is_monomial
 export is_monomial_recursive
@@ -1325,6 +1328,14 @@ include("algorithms/MPolyEvaluate.jl")
 include("algorithms/MPolyFactor.jl")
 include("algorithms/DensePoly.jl")
 
+###############################################################################
+#
+#  Has to be loaded last, but before Aliases. To be tidied up
+#
+###############################################################################
+
+include("HeckeNemoStuff.jl")
+
 ###############################################################################
 #
 #  For backwards compatibility

diff --git a/src/Aliases.jl b/src/Aliases.jl
@@ -13,6 +13,7 @@
 @alias isinvertible_with_inverse is_invertible_with_inverse
 @alias isirreducible is_irreducible
 @alias isisomorphic is_isomorphic
+@alias islower_triangular is_lower_triangular
 @alias ismonic is_monic
 @alias ismonomial is_monomial
 @alias ismonomial_recursive is_monomial_recursive
@@ -33,9 +34,11 @@
 @alias isterm_recursive is_term_recursive
 @alias isunit is_unit
 @alias isunivariate is_univariate
+@alias isupper_triangular is_upper_triangular
 @alias isweak_popov is_weak_popov
 @alias iszero_column is_zero_column
 @alias iszero_row is_zero_row
+@alias setprecision! set_precision!
 @alias Localization localization
 
 #