From 5ee6cda69f3b6f058f64a7456cea975af4656dd5 Mon Sep 17 00:00:00 2001 From: Tommy Hofmann Date: Thu, 27 Jul 2023 15:34:08 +0200 Subject: [PATCH] Add is_power for all finite fields --- Project.toml | 2 +- src/HeckeMiscPoly.jl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Project.toml b/Project.toml index 298b2b4a4..90da51e47 100644 --- a/Project.toml +++ b/Project.toml @@ -1,6 +1,6 @@ name = "Nemo" uuid = "2edaba10-b0f1-5616-af89-8c11ac63239a" -version = "0.35.2" +version = "0.35.3" [deps] AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d" diff --git a/src/HeckeMiscPoly.jl b/src/HeckeMiscPoly.jl index 7cecbf2c4..28033a7eb 100644 --- a/src/HeckeMiscPoly.jl +++ b/src/HeckeMiscPoly.jl @@ -239,7 +239,7 @@ function roots(K::FqPolyRepField, f::FpPolyRingElem) return roots(ff) end -function is_power(a::Union{fqPolyRepFieldElem,FqPolyRepFieldElem,FqFieldElem}, m::Int) +function is_power(a::Union{fpField, FpFieldElem, fqPolyRepFieldElem,FqPolyRepFieldElem,FqFieldElem}, m::Int) if iszero(a) return true, a end