From f0c24e0a0a9b03710a85b2f73f80e1ed5f9e2fbf Mon Sep 17 00:00:00 2001
From: Sasha Demin <demin@lix.polytechnique.fr>
Date: Fri, 2 Feb 2024 07:52:58 +0100
Subject: [PATCH] format

---
 src/groebner/normalform.jl | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/groebner/normalform.jl b/src/groebner/normalform.jl
index c57c80a8..3496f4f9 100644
--- 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,