diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-07-16 14:21:34 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-07-16 14:21:34 -0500 |
commit | 7a24dbb2f6dca9e0c30f75c3c9b12d81c41bd984 (patch) | |
tree | 95c21b175d249070039a7eaa2ab8b8a2b2a6aa27 /libre/sagemath/fes02.patch | |
parent | 5c9e07c02b8174ddb3782bfd24c58451654bfe5a (diff) | |
download | abslibre-7a24dbb2f6dca9e0c30f75c3c9b12d81c41bd984.tar.gz abslibre-7a24dbb2f6dca9e0c30f75c3c9b12d81c41bd984.tar.bz2 abslibre-7a24dbb2f6dca9e0c30f75c3c9b12d81c41bd984.zip |
sagemath: add new package to [libre]
Diffstat (limited to 'libre/sagemath/fes02.patch')
-rw-r--r-- | libre/sagemath/fes02.patch | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/libre/sagemath/fes02.patch b/libre/sagemath/fes02.patch new file mode 100644 index 000000000..b0cfda79f --- /dev/null +++ b/libre/sagemath/fes02.patch @@ -0,0 +1,45 @@ +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 |