From 74fac1bf3b9de0948a797ea0d41442df16ffd696 Mon Sep 17 00:00:00 2001 From: Alexander Demin Date: Sun, 10 Dec 2023 15:11:12 +0300 Subject: [PATCH] fix for 1.6 --- experimental/example-maybe-bug.jl | 2 +- src/utils/logging.jl | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/experimental/example-maybe-bug.jl b/experimental/example-maybe-bug.jl index 209792b3..fdf50614 100644 --- a/experimental/example-maybe-bug.jl +++ b/experimental/example-maybe-bug.jl @@ -7,7 +7,7 @@ gb = Groebner.groebner(s, loglevel=-2, modular=:learn_and_apply) gb2 = Groebner.groebner(s, loglevel=-2, modular=:classic_modular) gb == gb2 -k = Groebner.noonn(8, ground=QQ, ordering=:degrevlex) +k = Groebner.noonn(7, ground=QQ, ordering=:degrevlex) @time gb = Groebner.groebner(k, loglevel=0, modular=:learn_and_apply); @time gb2 = Groebner.groebner(k, loglevel=0, modular=:classic_modular); diff --git a/src/utils/logging.jl b/src/utils/logging.jl index bf1f99b6..27c57eca 100644 --- a/src/utils/logging.jl +++ b/src/utils/logging.jl @@ -34,8 +34,7 @@ function meta_formatter_groebner end meta_formatter=meta_formatter_groebner ) else - backend_logger(level) = - Logging.ConsoleLogger(level; meta_formatter=meta_formatter_groebner) + backend_logger(level) = Logging.ConsoleLogger(level) end ###