From 5431480e1cbd9dfe3a0b04f5a18a575427bb72d8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Thu, 6 Jul 2023 15:59:52 +0200 Subject: [PATCH] Export `is_nilpotent` (#1504) * Export `is_nilpotent` * Bump version --- Project.toml | 2 +- src/HeckeMoreStuff.jl | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index 7398c2c89..d2ba159df 100644 --- a/Project.toml +++ b/Project.toml @@ -1,6 +1,6 @@ name = "Nemo" uuid = "2edaba10-b0f1-5616-af89-8c11ac63239a" -version = "0.35.0" +version = "0.35.1" [deps] AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d" diff --git a/src/HeckeMoreStuff.jl b/src/HeckeMoreStuff.jl index 1e38e0f21..77a20f6c8 100644 --- a/src/HeckeMoreStuff.jl +++ b/src/HeckeMoreStuff.jl @@ -824,6 +824,8 @@ function is_unit(f::T) where {T<:Union{ZZModPolyRingElem,zzModPolyRingElem}} return true end +export is_nilpotent + @doc raw""" is_nilpotent(a::ResElem{ZZRingElem}) -> Bool is_nilpotent(a::ResElem{Integer}) -> Bool