more

thofma · Nov 14, 2024 · 15be127 · 15be127
1 parent ddf1e30
commit 15be127
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 0 deletions.
diff --git a/src/FunField/HessQR.jl b/src/FunField/HessQR.jl
@@ -111,6 +111,8 @@ function expressify(a::HessQRElem; context = nothing)
                               expressify(a.g, context = context)))
 end
 
+Hecke.characteristic(::HessQR) = 0
+
 function Hecke.integral_split(a::Generic.RationalFunctionFieldElem{QQFieldElem}, S::HessQR)
   if iszero(a)
     return zero(S), one(S)

diff --git a/src/NumField/NfAbs/Elem.jl b/src/NumField/NfAbs/Elem.jl
@@ -157,6 +157,8 @@ end
 
 #In this version, n is supposed to be a prime power
 function is_norm_divisible_pp(a::AbsSimpleNumFieldElem, n::ZZRingElem)
+  Main.a = a
+  Main.n = n
   K = parent(a)
   if !is_coprime(denominator(K.pol), n)
     na = norm(a)

diff --git a/src/NumFieldOrd/NfOrd/MaxOrd/Polygons.jl b/src/NumFieldOrd/NfOrd/MaxOrd/Polygons.jl
@@ -741,6 +741,7 @@ 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