Fix runtests

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"]

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(

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