disable doctests

src/AlgebraicGeometry/Schemes/AffineAlgebraicSet/Objects/Constructors.jl

@@ -26,7 +26,7 @@ Return the vanishing locus of ``I`` as an algebraic set.
 This computes the radical of ``I`` if `check=true`.
 Otherwise, Oscar takes on faith that ``I`` is radical.
 
-```jldoctest
+```
 julia> R, (x,y) = GF(2)[:x,:y];
 
 julia> X = vanishing_locus(ideal([y^2+y+x^3+1,x]))
@@ -56,7 +56,7 @@ Return the vanishing locus of the multivariate polynomial `p`.
 This computes the radical of ``I`` if `check=true`.
 Otherwise Oscar takes on faith that ``I`` is radical.
 
-```jldoctest
+```
 julia> R, (x,y) = QQ[:x,:y];
 
 julia> X = vanishing_locus((y^2+y+x^3+1)*x^2)

src/AlgebraicGeometry/Schemes/AffineVariety/Objects/Constructors.jl

@@ -23,7 +23,7 @@ Return the affine variety defined by the prime ideal ``I``.
 Since our varieties are irreducible, we check that ``I`` stays prime when
 viewed over the algebraic closure. This is an expensive check that can be disabled.
 
-```jldoctest
+```
 julia> R, (x,y) = QQ[:x,:y]
 (Multivariate polynomial ring in 2 variables over QQ, QQMPolyRingElem[x, y])
 
@@ -36,7 +36,7 @@ defined by ideal(x, y)
 Over fields different from `QQ`, currently, we cannot check for irreducibility
 over the algebraic closure. But if you know that the ideal in question defines
 a variety, you can construct it by disabling the check.
-```jldoctest
+```
 julia> R, (x,y) = GF(2)[:x,:y];
 
 julia> affine_variety(x^3+y+1,check=false)
@@ -57,7 +57,7 @@ We require that ``R`` is a finitely generated algebra over a field ``k`` and
 moreover that the base change of ``R`` to the algebraic closure ``\bar k``
 is an integral domain.
 
-```jldoctest
+```
 julia> R, (x,y) = QQ[:x,:y];
 
 julia> Q,_ = quo(R,ideal([x,y]));
@@ -78,7 +78,7 @@ Return the affine variety defined as the vanishing locus of the multivariate pol
 
 This checks that `f` is irreducible over the algebraic closure.
 
-```jldoctest
+```
 julia> A2 = affine_space(QQ,[:x,:y]);
 
 julia> (x,y) = coordinates(A2);

src/AlgebraicGeometry/Schemes/ProjectiveAlgebraicSet/Objects/Constructors.jl

@@ -9,7 +9,7 @@ Convert `X` to an `ProjectiveAlgebraicSet` by taking the underlying reduced sche
 
 If `check=false`, assumes that `X` is already reduced.
 
-```jldoctest
+```
 julia> P,(x0,x1,x2) = graded_polynomial_ring(QQ,[:x0,:x1,:x2]);
 
 julia> X = projective_scheme(ideal([x0*x1^2, x2]))
@@ -43,7 +43,7 @@ in projective space.
 This computes the radical of ``I`` if `check=true`.
 Otherwise Oscar takes on faith that ``I`` is radical.
 
-```jldoctest
+```
 julia> P,(x0,x1) = graded_polynomial_ring(QQ,[:x0,:x1]);
 
 julia> vanishing_locus(ideal([x0,x1]))
@@ -112,7 +112,7 @@ Return the irreducible components of ``X`` defined over the base field of ``X``.
 
 Note that even if ``X`` is irreducible, there may be several geometrically irreducible components.
 
-```jldoctest
+```
 julia> P1 = projective_space(QQ,1)
 Projective space of dimension 1
   with homogeneous coordinates s0 s1

src/AlgebraicGeometry/Schemes/ProjectiveVariety/Objects/Constructors.jl

@@ -31,7 +31,7 @@ we check that ``I`` stays prime when viewed over the algebraic closure.
 This is an expensive check that can be disabled.
 Note that the ideal ``I`` must live in a standard graded ring.
 
-```jldoctest
+```
 julia> P3 = projective_space(QQ,3)
 Projective space of dimension 3
   with homogeneous coordinates s0 s1 s2 s3