add a test for eco-10

sumiya11 · Jan 29, 2024 · 9874e5c · 9874e5c
1 parent e8c608a
commit 9874e5c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/test/fglm/kbase.jl b/test/fglm/kbase.jl
@@ -97,8 +97,8 @@ end
     gb = Groebner.groebner(noon, ordering=Groebner.DegRevLex())
     @test length(Groebner.kbase(gb, ordering=Groebner.DegRevLex())) == 21
 
-    noon = Groebner.noonn(7, k=GF(2^31 - 1))
-    R = parent(first(noon))
-    gb = Groebner.groebner(noon, ordering=Groebner.DegRevLex())
-    @test length(Groebner.kbase(gb, ordering=Groebner.DegRevLex())) == 2173
+    sys = Groebner.eco10(k=GF(2^31 - 1), ordering=:degrevlex)
+    R = parent(first(sys))
+    gb = Groebner.groebner(sys, ordering=Groebner.DegRevLex())
+    @test length(Groebner.kbase(gb, ordering=Groebner.DegRevLex())) == 256
 end
diff --git a/test/learn_and_apply/learn_and_apply_tmp.jl b/test/learn_and_apply/learn_and_apply_tmp.jl
@@ -124,7 +124,7 @@ end
         AbstractAlgebra.GF(2^27 - 39),
         AbstractAlgebra.GF(2^20 + 7),
         AbstractAlgebra.GF(2^20 + 13),
-        AbstractAlgebra.GF(2^20 + 25),
+        AbstractAlgebra.GF(2^20 + 25)
     ]
     for case in cases
         # Learn and apply on the same system