let's call solutions "solutions"

fplll · Aug 3, 2017 · 3f17927 · 3f17927
1 parent 0116ee3
commit 3f17927
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/src/fpylll/fplll/enumeration.pyx b/src/fpylll/fplll/enumeration.pyx
@@ -298,7 +298,7 @@ cdef class Enumeration:
                                             target_coord_d, sub_tree_, pruning_, dual)
             sig_off()
             if not self._fe_core.d.size():
-                raise EnumerationError("No vector found.")
+                raise EnumerationError("No solution found.")
 
             solutions_d = self._fe_core.d.begin()
             while solutions_d != self._fe_core.d.end():
@@ -324,7 +324,7 @@ cdef class Enumeration:
                                                  target_coord_ld, sub_tree_, pruning_, dual)
                 sig_off()
                 if not self._fe_core.ld.size():
-                    raise EnumerationError("No vector found.")
+                    raise EnumerationError("No solution found.")
 
                 solutions_ld = self._fe_core.ld.begin()
                 while solutions_ld != self._fe_core.ld.end():
@@ -349,7 +349,7 @@ cdef class Enumeration:
                                             target_coord_dpe, sub_tree_, pruning_, dual)
             sig_off()
             if not self._fe_core.dpe.size():
-                raise EnumerationError("No vector found.")
+                raise EnumerationError("No solution found.")
 
             solutions_dpe = self._fe_core.dpe.begin()
             while solutions_dpe != self._fe_core.dpe.end():
@@ -375,7 +375,7 @@ cdef class Enumeration:
                                                 target_coord_dd, sub_tree_, pruning_, dual)
                 sig_off()
                 if not self._fe_core.dd.size():
-                    raise EnumerationError("No vector found.")
+                    raise EnumerationError("No solution found.")
 
                 solutions_dd = self._fe_core.dd.begin()
                 while solutions_dd != self._fe_core.dd.end():
@@ -400,7 +400,7 @@ cdef class Enumeration:
                                                 target_coord_qd, sub_tree_, pruning_, dual)
                 sig_off()
                 if not self._fe_core.qd.size():
-                    raise EnumerationError("No vector found.")
+                    raise EnumerationError("No solution found.")
 
                 solutions_qd = self._fe_core.qd.begin()
                 while solutions_qd != self._fe_core.qd.end():
@@ -425,7 +425,7 @@ cdef class Enumeration:
                                             target_coord_mpfr, sub_tree_, pruning_, dual)
             sig_off()
             if not self._fe_core.mpfr.size():
-                raise EnumerationError("No vector found.")
+                raise EnumerationError("No solution found.")
 
             solutions_mpfr = self._fe_core.mpfr.begin()
             while solutions_mpfr != self._fe_core.mpfr.end():