#13162: add experimental libFES package
----------------------------------------+-----------------------------------
Reporter: Bouillaguet | Owner: malb
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.6
Component: experimental package | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers: Martin Albrecht
Authors: Charles Bouillaguet | Merged in:
Dependencies: #13202 | Stopgaps:
----------------------------------------+-----------------------------------
Changes (by Bouillaguet):
* status: needs_work => needs_review
Old description:
> libfes is a library (under development) that solves systems of boolean
> equations by exhaustive search. It is dramatically faster than Groebner
> bases in general.
>
> == Installation Guide ==
>
> * Download the fes-0.1 spkg [http://www.lifl.fr/~bouillaguet/fes-0.1.spkg
> here]
> * Apply [attachment:fes.2.patch] to the sage library
> * Test:
> {{{
> sage: from sage.libs.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)
> }}}
>
> '''Note to release manage''' the SPKG should be added to the experimental
> repository, but the patch should be applied to Sage.
New description:
libfes is a library (under development) that solves systems of boolean
equations by exhaustive search. It is dramatically faster than Groebner
bases in general.
== Installation Guide ==
* Download the fes-0.1 spkg
[http://www.lifl.fr/~bouillaguet/download/fes-0.1.spkg here]
* Apply [attachment:fes.2.patch] to the sage library
* Test:
{{{
sage: from sage.libs.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)
}}}
'''Note to release manage''' the SPKG should be added to the experimental
repository, but the patch should be applied to Sage.
--
Comment:
I updated the spkg (taking into account Jeroen's comments).
I don't think that marking the doctests as optional is necessary, as the
.pyx file is NOT included in the source tree when the spkg is not
installed (cf. magic in module_list.py).
However, the more I think about this, the more I am convinced that the
right way to access this library from sage is through #13850. In that
case, the doctest involving libFES in the documentation of ``.solve()``
would need to be marked optional, of course.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13162#comment:42>
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.
