fixes doctest for rational_solutions

Author: ederc

src/algorithms/solvers.jl

@@ -280,10 +280,10 @@ julia> rat_sols = rational_solutions(I)
  [1//3, 0, 1//3]
 
 julia> map(r->map(p->evaluate(p, r), I.gens), rat_sols)
-4-element Vector{Vector{fmpq}}:
+2-element Vector{Vector{fmpq}}:
  [0, 0, 0]
  [0, 0, 0]
-
+```
 """
 function rational_solutions(
         I::Ideal{T} where T <: MPolyElem;     # input generators

src/exports.jl

@@ -1,3 +1,3 @@
 export PolynomialRing, MPolyRing, GFElem, MPoly, MPolyElem, FiniteField, GF,
        characteristic, ZZ, QQ, vars, nvars, ngens, fmpz, fmpq, fmpq_poly,
-       base_ring, coefficient_ring
+       base_ring, coefficient_ring, evaluate

src/imports.jl

@@ -12,6 +12,7 @@ import Nemo:
     divides,
     divisor_sigma,
     euler_phi,
+    evaluate,
     factorial,
     fibonacci,
     fits,