format

sumiya11 · Feb 2, 2024 · f0c24e0 · f0c24e0
1 parent 4db2ae8
commit f0c24e0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/groebner/normalform.jl b/src/groebner/normalform.jl
@@ -45,7 +45,9 @@ function _normalform0(polynomials, to_be_reduced, kws::KeywordsHandler)
       Finalized polynomial rings:
       Basis: $ring
       To be reduced: $ring_"""
-    @invariant ring.nvars == ring_.nvars && ring.ch == ring_.ch && isequal(ring.ord, ring_.ord)
+    @invariant ring.nvars == ring_.nvars &&
+               ring.ch == ring_.ch &&
+               isequal(ring.ord, ring_.ord)
     monoms_reduced, coeffs_reduced = _normalform1(
         ring,
         monoms,