fixes docu for normal form

Author: ederc

docs/src/normal-forms.md

@@ -17,19 +17,28 @@ Pages = ["normal-forms.md"]
 
 ## Introduction
 
-AlgebraicSolving allows to compute normal forms of a finite array of polynomials w.r.t.
-some given ideal over finite
-fields of characteristic smaller $2^{31}$ w.r.t. the degree reverse
-lexicographical monomial order.
+AlgebraicSolving allows to compute normal forms of a polynomial resp. a finite
+array of polynomials w.r.t. some given ideal over a finite field of
+characteristic smaller $2^{31}$ w.r.t. the degree reverse lexicographical
+monomial order.
 
 **Note:** It therefore might first compute a Gröbner bases for the ideal.
 ## Functionality
 
 ```@docs
     normal_form(
-        F::Vector{T} where T <: MPolyRingElem,
-        I::Ideal{T} where T <: MPolyRingElem;
+        f::T,
+        I::Ideal{T};
         nr_thrds::Int=1,
         info_level::Int=0
-        )
+        ) where T <: MPolyRingElem
+```
+
+```@docs
+    normal_form(
+        F::Vector{T},
+        I::Ideal{T};
+        nr_thrds::Int=1,
+        info_level::Int=0
+        ) where T <: MPolyRingElem
 ```

src/algorithms/normal-forms.jl

@@ -4,11 +4,11 @@ export normal_form
 
 @doc Markdown.doc"""
     normal_form(
-        F::Vector{T} where T <: MPolyRingElem,
-        I::Ideal{T} where T <: MPolyRingElem;
+        f::T,
+        I::Ideal{T};
         nr_thrds::Int=1,
         info_level::Int=0
-        )
+        ) where T <: MPolyRingElem
 
 Compute the normal forms of the elements of `F` w.r.t. a degree reverse
 lexicographical Gröbner basis of `I`.