Fix snf_with_transform issue over non-domain

See oscar-system/Oscar.jl#4293
Nemocas · Nov 11, 2024 · e7a1391 · e7a1391
1 parent 595abf7
commit e7a1391
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Matrix.jl b/src/Matrix.jl
@@ -5285,7 +5285,7 @@ function snf_kb!(S::MatrixElem{T}, U::MatrixElem{T}, K::MatrixElem{T}, with_traf
                K[r, j] = reduce!(t1 + t2)
             end
          end
-         S[j, j] = divexact(S[i, i]*S[j, j], d)  # FIXME this looks fishy
+         S[j, j] = S[i, i]*divexact(S[j, j], d)
          S[i, i] = d
       end
    end