adds docu and export

Author: RafaelDavidMohr

src/algorithms/other-algorithms.jl

@@ -1,3 +1,22 @@
+@doc Markdown.doc"""
+    dimension(I::Ideal{T}) where T <: MPolyRingElem
+
+Compute the Krull dimension of a given polynomial ideal `I`.
+
+**Note**: This requires a Gröbner basis of `I`. 
+
+# Examples
+```jldoctest
+julia> using AlgebraicSolving
+
+julia> R, (x, y, z) = polynomial_ring(QQ, ["x", "y", "z"]);
+
+julia> I = Ideal([x*y,x*z,y*z]);
+
+julia> dimension(I)
+1
+```
+"""
 function dimension(I::Ideal{T}) where T <: MPolyRingElem
 
     gb = isempty(values(I.gb)) ? groebner_basis(I) : first(values(I.gb))

src/exports.jl

@@ -1,4 +1,4 @@
 export polynomial_ring, MPolyRing, GFElem, MPolyRingElem, finite_field, GF, fpMPolyRingElem,
        characteristic, degree, ZZ, QQ, vars, nvars, ngens, ZZRingElem, QQFieldElem, QQMPolyRingElem,
        base_ring, coefficient_ring, evaluate, prime_field, sig_groebner_basis, cyclic, leading_coefficient,
-       FqMPolyRingElem
+       FqMPolyRingElem, dimension