summaryrefslogtreecommitdiff
path: root/libre/sagemath/fes02.patch
diff options
context:
space:
mode:
authorAndré Fabian Silva Delgado <emulatorman@parabola.nu>2015-07-29 18:54:06 -0300
committerAndré Fabian Silva Delgado <emulatorman@parabola.nu>2015-07-29 18:57:00 -0300
commit4b9a24484b3f55b017b6cdc30ff372dc310be5f7 (patch)
treec25ec60d8d453a0a5280e9f38f31bfe54485f736 /libre/sagemath/fes02.patch
parent84bfa7890271e94520d28cfe0c4caa883896a726 (diff)
downloadabslibre-4b9a24484b3f55b017b6cdc30ff372dc310be5f7.tar.gz
abslibre-4b9a24484b3f55b017b6cdc30ff372dc310be5f7.tar.bz2
abslibre-4b9a24484b3f55b017b6cdc30ff372dc310be5f7.zip
sagemath-6.8-1.parabola1: updating version
* disable fes module, doesn't compile * replace "open" to "free" term to pkgdesc -> https://www.gnu.org/philosophy/words-to-avoid.html.en#Open * replace "alternative" to "replacement" term to pkgdesc -> https://www.gnu.org/philosophy/words-to-avoid.html.en#Alternative
Diffstat (limited to 'libre/sagemath/fes02.patch')
-rw-r--r--libre/sagemath/fes02.patch45
1 files changed, 0 insertions, 45 deletions
diff --git a/libre/sagemath/fes02.patch b/libre/sagemath/fes02.patch
deleted file mode 100644
index b0cfda79f..000000000
--- a/libre/sagemath/fes02.patch
+++ /dev/null
@@ -1,45 +0,0 @@
-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