Req AA 0.43.5 which provides is_unit(::FieldElem)

Nemocas · Oct 14, 2024 · f287158 · f287158
1 parent 09f8f1d
commit f287158
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 4 deletions.
diff --git a/Project.toml b/Project.toml
@@ -13,7 +13,7 @@ RandomExtensions = "fb686558-2515-59ef-acaa-46db3789a887"
 SHA = "ea8e919c-243c-51af-8825-aaa63cd721ce"
 
 [compat]
-AbstractAlgebra = "0.43.4"
+AbstractAlgebra = "0.43.5"
 FLINT_jll = "^300.100.100"
 Libdl = "1.6"
 LinearAlgebra = "1.6"

diff --git a/src/calcium/ca.jl b/src/calcium/ca.jl
@@ -111,8 +111,6 @@ end
 #
 ###############################################################################
 
-is_unit(x::CalciumFieldElem) = !is_zero(x)  # TODO: remove once AA has this generically
-
 zero(C::CalciumField) = C()
 
 one(C::CalciumField) = one!(CalciumFieldElem(C))

diff --git a/src/calcium/qqbar.jl b/src/calcium/qqbar.jl
@@ -170,7 +170,6 @@ end
 #
 ###############################################################################
 
-is_unit(x::QQBarFieldElem) = !is_zero(x)  # TODO: remove once AA has this generically
 
 zero(a::QQBarField) = a(0)