Skip to content

Commit

Permalink
do not use TestSetExtensions
Browse files Browse the repository at this point in the history
  • Loading branch information
sumiya11 committed Nov 20, 2024
1 parent 32cbe05 commit 2db8e0b
Show file tree
Hide file tree
Showing 3 changed files with 17 additions and 17 deletions.
4 changes: 1 addition & 3 deletions Project.toml
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,6 @@ DynamicPolynomials = "0.6.0"
Nemo = "0.45.4, 0.46, 0.47"
PrecompileTools = "1"
Primes = "0.5"
TestSetExtensions = "2"
julia = "1.10"

[extras]
Expand All @@ -38,7 +37,6 @@ DynamicPolynomials = "7c1d4256-1411-5781-91ec-d7bc3513ac07"
InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a"
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
TestSetExtensions = "98d24dd4-01ad-11ea-1b02-c9a08f80db04"

[targets]
test = ["DynamicPolynomials", "BenchmarkTools", "InteractiveUtils", "Test", "TestSetExtensions", "Nemo"]
test = ["DynamicPolynomials", "BenchmarkTools", "InteractiveUtils", "Test", "Nemo"]
2 changes: 1 addition & 1 deletion test/groebner.jl
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
using AbstractAlgebra
using Base.Threads
using Combinatorics, Primes, Random
using Test, TestSetExtensions
using Test

@testset "groebner basic" begin
R, (x, y) = polynomial_ring(GF(2^31 - 1), ["x", "y"], internal_ordering=:degrevlex)
Expand Down
28 changes: 15 additions & 13 deletions test/runtests.jl
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
using Test, TestSetExtensions
using Test
using InteractiveUtils, Random

using AbstractAlgebra
Expand Down Expand Up @@ -34,34 +34,36 @@ end
@test isempty(Test.detect_ambiguities(Groebner))

@time @testset "All tests" verbose = true begin
@time @includetests ["arithmetic"]
@time include("arithmetic.jl")

# Different implementations of a monomial
@time @includetests ["monoms/exponentvector", "monoms/packedtuples"]
@time @includetests ["monoms/monom_arithmetic", "monoms/monom_orders"]
@time include("monoms/exponentvector.jl")
@time include("monoms/packedtuples.jl")
@time include("monoms/monom_arithmetic.jl")
@time include("monoms/monom_orders.jl")

@time @includetests ["groebner"]
@time include("groebner.jl")

@time @includetests ["learn_and_apply"]
@time include("learn_and_apply.jl")

@time @includetests ["isgroebner"]
@time include("isgroebner.jl")

@time @includetests ["normalform"]
@time include("normalform.jl")

# Test for different frontends:
# - AbstractAlgebra.jl
# - Nemo.jl
# - DynamicPolynomials.jl
@time @includetests ["input_output/AbstractAlgebra"]
@time include("input_output/AbstractAlgebra.jl")
if try_import(:DynamicPolynomials)
@time @includetests ["input_output/GroebnerDynamicPolynomialsExt"]
@time include("input_output/GroebnerDynamicPolynomialsExt.jl")
end
if try_import(:Nemo)
@time @includetests ["input_output/Nemo"]
@time include("input_output/Nemo.jl")
end

@time @includetests ["output_inferred"]
@time include("output_inferred.jl")

# test for regressions
@time @includetests ["regressions"]
@time include("regressions.jl")
end

0 comments on commit 2db8e0b

Please sign in to comment.