format

Author: sumiya11

Diff for: benchmark/CI-scripts/.runtests.jl.swp

@@ -170,10 +170,10 @@ function basis_well_formed(ring::PolyRing, basis::Basis, hashtable::MonomialHash
             basis.monoms[i],
             lt=(j, k) -> monom_isless(hashtable.monoms[k], hashtable.monoms[j], ring.ord)
         ) && error("Bad polynomial")
-	iszero(basis.coeffs[i][1]) && error("Leading coefficient is zero")
-	for j in 1:length(basis.coeffs[i])
+        iszero(basis.coeffs[i][1]) && error("Leading coefficient is zero")
+        for j in 1:length(basis.coeffs[i])
             (ring.ground == :zp) &&
-	    !(-1 < basis.coeffs[i][j] < ring.characteristic) &&
+                !(-1 < basis.coeffs[i][j] < ring.characteristic) &&
                 error("Coefficients must be normalized")
             (basis.monoms[i][j] > hashtable.load) && error("Bad monomial")
         end

Diff for: src/f4/basis.jl

@@ -80,7 +80,8 @@ function groebner2(
     gb_monoms, gb_coeffs = _groebner2(ring, monoms, coeffs, params)
 
     if params.homogenize
-        ring, gb_monoms, gb_coeffs, params = dehomogenize_generators(ring, gb_monoms, gb_coeffs, params)
+        ring, gb_monoms, gb_coeffs, params =
+            dehomogenize_generators(ring, gb_monoms, gb_coeffs, params)
         if params.reduced
             gb_monoms, gb_coeffs = _groebner2(ring, gb_monoms, gb_coeffs, params)
         end

Diff for: src/groebner/groebner.jl

@@ -75,7 +75,7 @@ function homogenize_generators(
     sat_var_index = new_nvars
     new_ring_sat, new_monoms, coeffs, params =
         saturate_generators_by_variable(new_ring, new_monoms, coeffs, params, sat_var_index)
-    params = struct_update(AlgorithmParameters, params, (target_ord = new_ring_sat.ord,))
+    params = struct_update(AlgorithmParameters, params, (target_ord=new_ring_sat.ord,))
     term_permutation, new_ring_sat, new_monoms, coeffs, params
 end
 

Diff for: src/groebner/homogenization.jl

@@ -92,7 +92,8 @@ function groebner_learn2(
     trace, gb_monoms, gb_coeffs = _groebner_learn2(ring, monoms, coeffs, params)
 
     if params.homogenize
-        ring, gb_monoms, gb_coeffs, params = dehomogenize_generators(ring, gb_monoms, gb_coeffs, params)
+        ring, gb_monoms, gb_coeffs, params =
+            dehomogenize_generators(ring, gb_monoms, gb_coeffs, params)
         if params.reduced
             gb_monoms, gb_coeffs = autoreduce2(ring, gb_monoms, gb_coeffs, params)
         end

Diff for: src/groebner/learn_apply.jl

@@ -22,7 +22,12 @@ function io_convert_polynomials_to_ir(polynomials, options::KeywordArguments)
     coeffs = io_extract_coeffs_ir(ring, polynomials)
     reversed_order, var_to_index, monoms = io_extract_monoms_ir(ring, polynomials)
     @invariant length(coeffs) == length(monoms)
-    ring = PolyRing(ring.nvars, ordering_transform(ring.ord, var_to_index), ring.characteristic, ring.ground)
+    ring = PolyRing(
+        ring.nvars,
+        ordering_transform(ring.ord, var_to_index),
+        ring.characteristic,
+        ring.ground
+    )
     ordering = ordering_transform(options.ordering, var_to_index)
     options = struct_update(KeywordArguments, options, (ordering=ordering,))
     ring, monoms, coeffs, options

Diff for: src/input_output/AbstractAlgebra.jl

@@ -116,17 +116,11 @@ function KeywordArguments(function_id::Symbol, kws)
     certify = get(kws, :certify, get(default_kw_args, :certify, false))
 
     linalg = get(kws, :linalg, get(default_kw_args, :linalg, :auto))
-    @assert linalg in (
-        :auto,
-        :randomized,
-        :deterministic,
-        :experimental_1,
-        :experimental_2,
-        :experimental_3
-    ) """
-    Not recognized linear algebra option: $linalg
-    Possible choices for keyword "linalg" are:
-    `:auto`, `:randomized`, `:deterministic`"""
+    @assert linalg in
+            (:auto, :randomized, :deterministic, :experimental_1, :experimental_2, :experimental_3) """
+                                                                                                  Not recognized linear algebra option: $linalg
+                                                                                                  Possible choices for keyword "linalg" are:
+                                                                                                  `:auto`, `:randomized`, `:deterministic`"""
 
     threaded = get(kws, :threaded, get(default_kw_args, :threaded, :auto))
     @assert threaded in (:auto, :no, :yes, :force_yes) """