diff -up src/sage/libs/fes.pyx.orig src/sage/libs/fes.pyx --- src/sage/libs/fes.pyx.orig 2020-10-30 11:34:23.271984468 -0600 +++ src/sage/libs/fes.pyx 2020-10-30 14:44:49.462736771 -0600 @@ -14,7 +14,7 @@ variables. Performing a full exhaustive take a **long** time. The number of variables can be artificially reduced to 64 by specializing some of them. -Note that the FES library **requires** at least of the equations to be +Note that the FES library **requires** at least one of the equations to be non-linear. AUTHORS: @@ -72,7 +72,7 @@ from cysignals.signals cimport sig_on, s cdef extern from "fes_interface.h": ctypedef int (*solution_callback_t)(void *, uint64_t) - void exhaustive_search_wrapper(int n, int n_eqs, int degree, int ***coeffs, solution_callback_t callback, void* callback_state, int verbose) + void exhaustive_search_wrapper(int n, int n_eqs, int degree, int ***coeffs, solution_callback_t callback, void* callback_state, int verbose, int T) from sage.rings.integer import Integer @@ -218,7 +218,7 @@ def exhaustive_search(eqs, max_sols=Inf # ------- runs the library sig_on() - exhaustive_search_wrapper(n, len(eqs), degree, coeffs, report_solution, internal_state, verbose) + exhaustive_search_wrapper(n, len(eqs), degree, coeffs, report_solution, internal_state, verbose, 0) sig_off() # ------- frees memory occupied by the dense representation of the equations