fix: make type inference happier

Nemocas · Feb 22, 2024 · 8fe84c4 · 8fe84c4
1 parent fc5b3c9
commit 8fe84c4
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/Solve.jl b/src/Solve.jl
@@ -301,8 +301,8 @@ function kernel(A::MatElem{<:FieldElement}; side::Symbol = :left)
   check_option(side, [:right, :left], "side")
 
   if side === :left
-    K = kernel(lazy_transpose(A), side = :right)
-    return lazy_transpose(K)
+    KK = kernel(lazy_transpose(A), side = :right)
+    return lazy_transpose(KK)
   end
 
   n, K = AbstractAlgebra.nullspace(A)
@@ -317,8 +317,8 @@ function kernel(A::MatElem{<:RingElement}; side::Symbol = :left)
   check_option(side, [:right, :left], "side")
 
   if side === :right
-    H, U = hnf_with_transform(lazy_transpose(A))
-    return _kernel_of_hnf(A, H, U)[2]
+    HH, UU = hnf_with_transform(lazy_transpose(A))
+    return _kernel_of_hnf(A, HH, UU)[2]
   else
     H, U = hnf_with_transform(A)
     _, X = _kernel_of_hnf(lazy_transpose(A), H, U)