#13162: add experimental libfes package
---------------------------------------+------------------------------------
Reporter: Bouillaguet | Owner: malb
Type: enhancement | Status: new
Priority: minor | Milestone: sage-5.2
Component: commutative algebra | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Charles Bouillaguet | Merged in:
Dependencies: | Stopgaps:
---------------------------------------+------------------------------------
Description changed by Bouillaguet:
Old description:
> 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 [attachment:trac_13162-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)
> }}}
New description:
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 [attachment: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#comment:2>
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.
