I'm trying to solve a system of Boolean Equations using libFES https :// www.lifl[dot]fr/~bouillag/fes/.
(Sorry for the links - insufficient karma).
The problem is similar to this https :// ask.sagemath[dot]org/question/42833/
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 [dot] 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]
