diff --git a/Project.toml b/Project.toml index c6e89be40..fc7d3d8d1 100644 --- a/Project.toml +++ b/Project.toml @@ -5,13 +5,15 @@ version = "1.0.2" [deps] Oscar = "f1435218-dba5-11e9-1e4d-f1a5fab5fc13" +PrecompileTools = "aea7be01-6a6a-4083-8856-8a6e6704d82a" + +[compat] +julia = "1.10" +Oscar = "1.0" [extras] Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" +Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" [targets] -test = ["Test"] - -[compat] -julia = "1.10" -Oscar = "1.0" +test = ["Test", "Documenter"] diff --git a/src/common.jl b/src/common.jl index e294ba25f..3a841c1b3 100644 --- a/src/common.jl +++ b/src/common.jl @@ -29,19 +29,20 @@ julia> I = ideal([y^4+ x^3-x^2+x,x^4]); julia> groebner_walk(I, lex(R)) Gröbner basis with elements -1 -> x + y^12 - y^8 + y^4 r +1 -> x + y^12 - y^8 + y^4 2 -> y^16 with respect to the ordering lex([x, y]) -julia> groebner_walk(I, lex(R); algorithm=:perturbed) +julia> groebner_walk(I, lex(R); algorithm=:generic) Gröbner basis with elements -1 -> x + y^12 - y^8 + y^4 -2 -> y^16 +1 -> y^16 +2 -> x + y^12 - y^8 + y^4 with respect to the ordering lex([x, y]) julia> set_verbosity_level(:groebner_walk, 1); + julia> groebner_walk(I, lex(R)) Results for standard_walk Crossed Cones in: @@ -56,20 +57,6 @@ Gröbner basis with elements with respect to the ordering lex([x, y]) -julia> groebner_walk(I, lex(R); algorithm=:perturbed) -perturbed_walk results -Crossed Cones in: -[4, 3] -[4, 1] -[5, 1] -[12, 1] -[1, 0] -Cones crossed: 5 -Gröbner basis with elements -1 -> y^16 -2 -> x + y^12 - y^8 + y^4 -with respect to the ordering -matrix_ordering([x, y], [1 0; 0 1]) ``` """ function groebner_walk( diff --git a/test/runtests.jl b/test/runtests.jl index 1b7b9aaf7..ca37f8c00 100644 --- a/test/runtests.jl +++ b/test/runtests.jl @@ -1,5 +1,6 @@ using Oscar, GroebnerWalk using Test +using Documenter @testset verbose=true "All tests" begin @testset "Compilation" begin @@ -16,6 +17,10 @@ using Test @test is_groebner_basis(Gg; ordering=lex(R)) end + DocMeta.setdocmeta!(GroebnerWalk, :DocTestSetup, :(using Oscar, GroebnerWalk); recursive=true) + doctest(GroebnerWalk; manual = false) + set_verbosity_level(:groebner_walk, 0) + include("standard-walk.jl") include("generic-walk.jl") end