mirror of
https://gitdl.cn/https://github.com/chakralinux/core.git
synced 2025-02-04 02:57:14 +08:00
46 lines
1.9 KiB
Diff
46 lines
1.9 KiB
Diff
diff --git a/src/sage/libs/fes.pyx b/src/sage/libs/fes.pyx
|
|
index 40b9c23..d188cf0 100644
|
|
--- src/sage/libs/fes.pyx
|
|
+++ src/sage/libs/fes.pyx
|
|
@@ -1,17 +1,19 @@
|
|
"""
|
|
-Binding for the FES library.
|
|
+Binding for the libFES library.
|
|
|
|
Finding solutions of systems of boolean equations by exhaustive
|
|
search, via the fes library. This is usually (much) faster than
|
|
computing a Groebner basis, except in special cases where the latter
|
|
is particularly easy.
|
|
|
|
-The FES library is presently only able to deal with polynomials in 64
|
|
+More information is available at [http://www.lifl.fr/~bouillag/fes].
|
|
+
|
|
+The libFES library is presently only able to deal with polynomials in 64
|
|
variables. Performing a full exhaustive search over 64 variables will
|
|
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 libFES library **requires** at least of the equations to be
|
|
non-linear.
|
|
|
|
AUTHORS:
|
|
@@ -71,7 +73,7 @@ from libc.stdint cimport uint64_t
|
|
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)
|
|
|
|
|
|
include 'sage/ext/interrupt.pxi' #sig_on(), sig_off()
|
|
@@ -219,7 +221,7 @@ def exhaustive_search(eqs, max_sols=Infinity, verbose=False):
|
|
|
|
# ------- runs the library
|
|
sig_on()
|
|
- exhaustive_search_wrapper(n, len(eqs), degree, coeffs, report_solution, <void *> internal_state, verbose)
|
|
+ exhaustive_search_wrapper(n, len(eqs), degree, coeffs, report_solution, <void *> internal_state, verbose, 0)
|
|
sig_off()
|
|
|
|
# ------- frees memory occupied by the dense representation of the equations
|