From bbae2abaca0b1070ad1d6fc23f9ed0685c101d1c Mon Sep 17 00:00:00 2001 From: Alexander Demin Date: Tue, 9 Jan 2024 08:04:38 +0300 Subject: [PATCH] up! --- src/fglm/fglm_internal.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/fglm/fglm_internal.jl b/src/fglm/fglm_internal.jl index bb6e3383..e550122e 100644 --- a/src/fglm/fglm_internal.jl +++ b/src/fglm/fglm_internal.jl @@ -111,9 +111,10 @@ function fglm_main!( end # Compute the normal form of the monomial w.r.t. by constructing and - # echelonizing the F4 matrix + # echelonizing the F4 matrix. to_be_reduced = basis_initialize(ring, [[monom]], [C[1]]) to_be_reduced.nfilled = 1 + # ! This call takes most the time f4_normalform!(ring, basis, to_be_reduced, ht, params.arithmetic) # Search for a linear relation between all the computed normal forms