Add defns of is_nilpotent for ZZRingElem & QQFieldElem

Nemocas · Dec 13, 2024 · 9cb13a3 · 9cb13a3
1 parent 6c5912f
commit 9cb13a3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/src/flint/fmpq.jl b/src/flint/fmpq.jl
@@ -115,6 +115,8 @@ is_zero(a::QQFieldElemOrPtr) = is_zero(_num_ptr(a))
 
 is_unit(a::QQFieldElem) = !iszero(a)
 
+is_nilpotent(a::QQFieldElem) = iszero(a)
+
 isinteger(a::QQFieldElemOrPtr) = is_one(_den_ptr(a))
 
 isfinite(::QQFieldElem) = true

diff --git a/src/flint/fmpz.jl b/src/flint/fmpz.jl
@@ -254,6 +254,8 @@ size(a::ZZRingElem) = _fmpz_is_small(a) ? 1 : abs(_fmpz_size(a))
 
 is_unit(a::ZZRingElemOrPtr) = data(a) == 1 || data(a) == -1
 
+is_nilpotent(a::ZZRingElemOrPtr) = iszero(data(a))
+
 is_zero(a::ZZRingElemOrPtr) = data(a) == 0
 
 is_one(a::ZZRingElemOrPtr) = data(a) == 1