fixes docu

ederc · ederc · commit 3d496249b4b3 · 2024-04-03T14:10:03.000+02:00
diff --git a/src/algorithms/solvers.jl b/src/algorithms/solvers.jl
@@ -393,7 +393,7 @@ julia> real_solutions(I)
  [1945971683//8589934592, 972985841//8589934592, 744426424910260862653434112767010536665//2722258935367507707706996859454145691648]
  [2863311531//8589934592, 0, 3629678580490010276942662479272194255531//10889035741470030830827987437816582766592]
 
-julia> inter_solutions(I, interval=true)
+julia> real_solutions(I, interval=true)
 4-element Vector{Vector{Vector{QQFieldElem}}}:
  [[1354207349//2147483648, 2708414699//4294967296], [1354207349//4294967296, 677103675//2147483648], [-355532291286331190123863132844989723573//2722258935367507707706996859454145691648, -1422129165145324760495452531379958894291//10889035741470030830827987437816582766592]]
  [[1, 1], [0, 0], [0, 0]]
