How to install libFES?

asked 2020-01-14 13:19:52 -0500

0xec gravatar image

updated 2020-01-17 05:26:10 -0500

I'm trying to solve a system of Boolean Equations using libFES.

The problem is similar to this question

I'm using the sagemath-dev docker image.

sage@80a6191bdbeb:~/sage$ sage -version
SageMath version 9.0, Release Date: 2020-01-01

The package is not installed by default.

sage: from sage.features.fes import LibFES
sage: LibFES().require()
---------------------------------------------------------------------------
FeatureNotPresentError                    Traceback (most recent call last)
<ipython-input-2-916ca6c4313c> in <module>()
----> 1 LibFES().require()

/home/sage/sage/local/lib/python3.7/site-packages/sage/features/__init__.py in require(self)
    189         presence = self.is_present()
    190         if not presence:
--> 191             raise FeatureNotPresentError(self, presence.reason, presence.resolution)
    192
    193     def __repr__(self):

FeatureNotPresentError: sage.libs.fes is not available.
Failed to import `sage.libs.fes`.
To install sage.libs.fes you can try to run 'sage -i fes'.
Further installation instructions might be available at http://www.lifl.fr/~bouillag/fes/.

To install the package I ran as recommended $ sage -i fes but this throws an error Error: package 'fes' not found

My question is how do I install libFES?

On a side-note, with the package installed, I should be able to do the following as shown in the docs.

sage: from sage.doctest.fixtures import reproducible_repr
sage: R.<x,y,z> = BooleanPolynomialRing()
sage: S = Sequence([x*y+z, y*z+x, x+y+z+1])

sage: sol = S.solve(algorithm='exhaustive_search')  # optional - FES
sage: print(reproducible_repr(sol))  # optional - FES
[{x: 1, y: 1, z: 1}]
sage: S.subs( sol[0] )
[0, 0, 0]
edit retag flag offensive close merge delete