adjusts doctests to new docu build system

Author: ederc

src/algorithms/groebner-bases.jl

@@ -24,6 +24,8 @@ At the moment the underlying algorithm is based on variants of Faugère's F4 Alg
 
 # Examples
 ```jldoctest
+julia> using AlgebraicSolving
+
 julia> R, (x,y,z) = PolynomialRing(GF(101),["x","y","z"], ordering=:degrevlex)
 (Multivariate Polynomial Ring in x, y, z over Galois field with characteristic 101, Nemo.gfp_mpoly[x, y, z])
 
@@ -76,6 +78,8 @@ At the moment the underlying algorithm is based on variants of Faugère's F4 Alg
 
 # Examples
 ```jldoctest
+julia> using AlgebraicSolving
+
 julia> R, (x,y,z) = PolynomialRing(GF(101),["x","y","z"], ordering=:degrevlex)
 (Multivariate Polynomial Ring in x, y, z over Galois field with characteristic 101, Nemo.gfp_mpoly[x, y, z])
 

src/algorithms/solvers.jl

@@ -213,6 +213,8 @@ is greater then zero an empty array is returned.
 
 # Examples
 ```jldoctest
+julia> using AlgebraicSolving
+
 julia> R,(x1,x2,x3) = PolynomialRing(QQ, ["x1","x2","x3"])
 (Multivariate Polynomial Ring in x1, x2, x3 over Rational Field, Nemo.fmpq_mpoly[x1, x2, x3])
 
@@ -266,6 +268,8 @@ is greater then zero an empty array is returned.
 
 # Examples
 ```jldoctest
+julia> using AlgebraicSolving
+
 julia> R,(x1,x2,x3) = PolynomialRing(QQ, ["x1","x2","x3"])
 (Multivariate Polynomial Ring in x1, x2, x3 over Rational Field, Nemo.fmpq_mpoly[x1, x2, x3])
 

src/examples/katsura.jl

@@ -22,6 +22,8 @@ Also note that indices have been shifted to start from 1.
 
 # Example
 ```jldoctest
+julia> using AlgebraicSolving
+
 julia> katsura(2)
 Nemo.fmpq_mpoly[x1 + 2*x2 + 2*x3 - 1, x1^2 + 2*x2^2 + 2*x3^2 - x1, 2*x1*x2 + 2*x2*x3 - x2]
 ```
@@ -45,6 +47,8 @@ Returns the Katsura ideal in the given polynomial ring `R`.
 
 # Example
 ```jldoctest
+julia> using AlgebraicSolving
+
 julia> R, _ = QQ["x", "y", "z"]
 (Multivariate Polynomial Ring in x, y, z over Rational Field, Nemo.fmpq_mpoly[x, y, z])