Update docs

Author: linus-md

docs/src/groebner-bases.md

@@ -5,7 +5,7 @@ DocTestSetup = quote
 end
 ```
 
-```@setup algebraicsolving
+```@setup
 using AlgebraicSolving
 ```
 
@@ -34,6 +34,7 @@ well as a signature based algorithm to compute Gröbner bases.
         max_nr_pairs::Int=0,
         la_option::Int=2,
         eliminate::Int=0,
+        intersect::Bool=true,
         complete_reduction::Bool=true,
         info_level::Int=0
         )
@@ -43,12 +44,15 @@ The engine supports the elimination of one block of variables considering the
 product monomial ordering of two blocks, both ordered w.r.t. the degree
 reverse lexicographical order. One can either directly add the number of
 variables of the first block via the `eliminate` parameter in the
-`groebner_basis` call. We have also implemented an alias for this call:
+`groebner_basis` call. By using `intersect=false` it is possible to only 
+use block ordering without intersecting. We have also implemented an alias 
+for this call:
 
 ```@docs
     eliminate(
         I::Ideal{T} where T <: MPolyRingElem,
         eliminate::Int;
+        intersect::Bool=true,
         initial_hts::Int=17,
         nr_thrds::Int=1,
         max_nr_pairs::Int=0,