#13162: add experimental libfes package
-----------------------------------+----------------------------------------
Reporter: Bouillaguet | Owner: malb
Type: enhancement | Status: new
Priority: minor | Milestone: sage-5.2
Component: commutative algebra | Keywords:
Work issues: | Report Upstream: N/A
Reviewers: | Authors: Charles Bouillaguet
Merged in: | Dependencies:
Stopgaps: |
-----------------------------------+----------------------------------------
libfes is a library (under development) that solves systems of boolean
equations by exhaustive search. It is dramatically than Groebner bases in
general.
== Installation Guide ==
* Download the fes-0.1 spkg
[http://www.di.ens.fr/~bouillaguet/fes-0.1.spkg here]
* Apply the fes.patch to the sage library
* Test:
{{{
sage: from sage.rings.polynomial.fes import exhaustive_search
sage: R.<x,y,z> = BooleanPolynomialRing()
sage: f = [x*y + z + y + 1, x+y+z, x*y + y*z]
sage: ideal(f).variety()
sage: exhaustive_search(f)
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13162>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
