From 4eb68b8614d038d5aea73d6b3d8bef9b59d40356 Mon Sep 17 00:00:00 2001
From: Tommy Hofmann <thofma@gmail.com>
Date: Fri, 15 Nov 2024 21:28:42 +0100
Subject: [PATCH] more

---
 src/NumFieldOrd/NfOrd/Ideal/Ideal.jl     | 4 +++-
 src/NumFieldOrd/NfOrd/MaxOrd/Polygons.jl | 1 -
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/NumFieldOrd/NfOrd/Ideal/Ideal.jl b/src/NumFieldOrd/NfOrd/Ideal/Ideal.jl
index f71b4adcb7..66cf12b241 100644
--- a/src/NumFieldOrd/NfOrd/Ideal/Ideal.jl
+++ b/src/NumFieldOrd/NfOrd/Ideal/Ideal.jl
@@ -1033,6 +1033,9 @@ function _minmod(a::ZZRingElem, b::AbsNumFieldOrderElem)
 end
 
 function _minmod_easy(a::ZZRingElem, b::AbsSimpleNumFieldOrderElem)
+  if is_one(a)
+    return a
+  end
   Zk = parent(b)
   k = number_field(Zk)
   if fits(Int, a)
@@ -1150,7 +1153,6 @@ end
 
 
 function _minmod_comp(a::ZZRingElem, b::AbsSimpleNumFieldOrderElem)
-
   Zk = parent(b)
   k = number_field(Zk)
   acom, auncom = ppio(a, index(Zk))
diff --git a/src/NumFieldOrd/NfOrd/MaxOrd/Polygons.jl b/src/NumFieldOrd/NfOrd/MaxOrd/Polygons.jl
index bc73eafcd0..222cfefdd6 100644
--- a/src/NumFieldOrd/NfOrd/MaxOrd/Polygons.jl
+++ b/src/NumFieldOrd/NfOrd/MaxOrd/Polygons.jl
@@ -741,7 +741,6 @@ function _decomposition(O::AbsNumFieldOrder, I::AbsNumFieldOrderIdeal, Ip::AbsNu
           Ba = basis(P, copy = false)
           for i in 1:degree(O)
             if !is_norm_divisible_pp((v*Ba[i] + u).elem_in_nf, modulo)
-              @assert !is_zero(mod(ZZ(norm((v*Ba[i] + u).elem_in_nf)), modulo))
               u = v*Ba[i] + u
               break
             end