imports is_zero from Nemo/AA

ederc · ederc · commit 8552c4768b68 · 2024-06-27T10:07:23.000+02:00
diff --git a/src/imports.jl b/src/imports.jl
@@ -32,6 +32,7 @@ import Nemo:
     is_probable_prime,
     is_square,
     is_unit,
+    is_zero,
     isqrtrem,
     jacobi_symbol,
     leading_coefficient,
