Merge pull request #3 from ederc/docu

Docu fixes

Author: ederc

docs/make.jl

@@ -1,13 +1,7 @@
-using msolve_jll
-using Nemo
-using LinearAlgebra
 using AlgebraicSolving
 using Documenter
 
-#= push!(LOAD_PATH, "../src") =#
-
-include("../src/imports.jl")
-include("../src/exports.jl")
+push!(LOAD_PATH, "../src")
 
 DocMeta.setdocmeta!(AlgebraicSolving, :DocTestSetup, :(using AlgebraicSolving); recursive=true)
 
@@ -19,7 +13,7 @@ makedocs(
     modules = [AlgebraicSolving],
     doctest = true,
     clean = true,
-    strict = true,
+    checkdocs = :none,
     sitename = "AlgebraicSolving.jl",
     format = Documenter.HTML(),
     pages = [

docs/src/2-groebner-bases.md renamed to docs/src/groebner-bases.md

@@ -1,5 +1,16 @@
 ```@meta
 CurrentModule = AlgebraicSolving
+DocTestSetup = quote
+  using AlgebraicSolving
+end
+```
+
+```@setup algebraicsolving
+using AlgebraicSolving
+```
+
+```@contents
+Pages = ["groebner-bases.md"]
 ```
 
 # Gröbner bases

docs/src/4-katsura.md renamed to docs/src/katsura.md

@@ -1,5 +1,16 @@
 ```@meta
 CurrentModule = AlgebraicSolving
+DocTestSetup = quote
+  using AlgebraicSolving
+end
+```
+
+```@setup algebraicsolving
+using AlgebraicSolving
+```
+
+```@contents
+Pages = ["katsura.md"]
 ```
 
 # Examples

docs/src/3-solvers.md renamed to docs/src/solvers.md

@@ -1,5 +1,16 @@
 ```@meta
 CurrentModule = AlgebraicSolving
+DocTestSetup = quote
+  using AlgebraicSolving
+end
+```
+
+```@setup algebraicsolving
+using AlgebraicSolving
+```
+
+```@contents
+Pages = ["solvers.md"]
 ```
 
 # Algebraic Systems Solving

docs/src/1-types.md renamed to docs/src/types.md

@@ -1,5 +1,16 @@
 ```@meta
 CurrentModule = AlgebraicSolving
+DocTestSetup = quote
+  using AlgebraicSolving
+end
+```
+
+```@setup algebraicsolving
+using AlgebraicSolving
+```
+
+```@contents
+Pages = ["types.md"]
 ```
 
 # Data Types
@@ -15,7 +26,6 @@ We use [Nemo](https://www.nemocas.org/index.html)'s multivariate polynomial
 ring structures:
 
 ```@repl
-using AlgebraicSolving
 R, (x,y,z) = PolynomialRing(QQ, ["x", "y", "z"], ordering=:degrevlex)
 ```
 The above example defines a multivariate polynomial ring in three variables `x`, 
@@ -24,7 +34,6 @@ for printing polynomials in the following. One can also define polynomial rings
 over finite fields:
 
 ```@repl
-using AlgebraicSolving
 R, (x,y,z) = PolynomialRing(GF(101), ["x", "y", "z"], ordering=:degrevlex)
 ```
 
@@ -35,7 +44,6 @@ data structures connected to ideals in order to make computational algebra more
 effective:
 
 ```@repl
-using AlgebraicSolving
 R, (x,y,z) = PolynomialRing(QQ, ["x", "y", "z"], ordering=:degrevlex)
 I = Ideal([x+y+1, y*z^2-13*y^2])
 ```