./sage --pip install pycryptosat # (this gets the package from PyPI and builds it)
makes ./sage -t --long --random-seed=277349812120896257585806851727004727044 src/sage/sat/boolean_polynomials.py work for me. On Thu, Jan 13, 2022 at 5:27 PM Sébastien Labbé <[email protected]> wrote: > > On Ubuntu 20.04, when I ran `make ptestlong`, I obtain > > ---------------------------------------------------------------------- > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/sat/boolean_polynomials.py # 18 doctests failed > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/graphs/generic_graph.py # 2 doctests failed > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/graphs/graph.py # 3 doctests failed > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/rings/polynomial/multi_polynomial_sequence.py # 1 doctest failed > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/interfaces/expect.py # 2 doctests failed > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/combinat/matrices/dancing_links.pyx # 1 doctest failed > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/combinat/designs/incidence_structures.py # 1 doctest failed > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/doc/en/reference/sat/index.rst # 2 doctests failed > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/sat/solvers/satsolver.pyx # 5 doctests failed > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/sat/solvers/cryptominisat.py # 38 doctests failed > ---------------------------------------------------------------------- > Total time for all tests: 2916.3 seconds > cpu time: 17168.4 seconds > cumulative wall time: 22791.9 seconds > Features detected for doctesting: > dvipng,ffmpeg,graphviz,imagemagick,pandoc,pdf2svg,sage.combinat,sage.geometry.polyhedron,sage.graphs,sage.plot,sage.rings.number_field,sage.rings.real_double,sage.symbolic,sagemath_doc_html,sphinx > > The failures of the following 6 six files are related to cryptominisat: > > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/sat/boolean_polynomials.py # 18 doctests failed > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/rings/polynomial/multi_polynomial_sequence.py # 1 doctest failed > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/combinat/matrices/dancing_links.pyx # 1 doctest failed > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/doc/en/reference/sat/index.rst # 2 doctests failed > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/sat/solvers/satsolver.pyx # 5 doctests failed > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/sat/solvers/cryptominisat.py # 38 doctests failed > > The optional spkg cryptominisat is installed on my machine: > > $ sage -optional | grep cryptominisat > cryptominisat...........................5.6.8 (5.6.8) > > But it seems the feature is broken for me. > > Failures are copied below. > > Follow up at https://trac.sagemath.org/ticket/25536 > > > > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/sat/boolean_polynomials.py > ********************************************************************** > File "src/sage/sat/boolean_polynomials.py", line 85, in > sage.sat.boolean_polynomials.solve > Failed example: > s = solve_sat(F) # optional - > cryptominisat > Exception raised: > Traceback (most recent call last): > File "sage/misc/lazy_import.pyx", line 253, in > sage.misc.lazy_import.LazyImport._get_object > (build/cythonized/sage/misc/lazy_import.c:2866) > self._object = getattr(__import__(self._module, {}, {}, > [self._name]), self._name) > ModuleNotFoundError: No module named 'pycryptosat' > > During handling of the above exception, another exception occurred: > > Traceback (most recent call last): > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/doctest/forker.py", > line 694, in _run > self.compile_and_execute(example, compiler, test.globs) > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/doctest/forker.py", > line 1088, in compile_and_execute > exec(compiled, globs) > File "<doctest sage.sat.boolean_polynomials.solve[3]>", line 1, in > <module> > s = solve_sat(F) # > optional - cryptominisat > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/sat/boolean_polynomials.py", > line 252, in solve > solver = solver(**solver_kwds) > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/sat/solvers/cryptominisat.py", > line 69, in __init__ > self._solver = Solver(verbose=int(verbosity), > confl_limit=int(confl_limit), threads=int(threads)) > File "sage/misc/lazy_import.pyx", line 391, in > sage.misc.lazy_import.LazyImport.__call__ > (build/cythonized/sage/misc/lazy_import.c:4183) > return self.get_object()(*args, **kwds) > File "sage/misc/lazy_import.pyx", line 217, in > sage.misc.lazy_import.LazyImport.get_object > (build/cythonized/sage/misc/lazy_import.c:2543) > return self._get_object() > File "sage/misc/lazy_import.pyx", line 256, in > sage.misc.lazy_import.LazyImport._get_object > (build/cythonized/sage/misc/lazy_import.c:2981) > raise FeatureNotPresentError(self._feature, reason=f'Importing > {self._name} failed: {e}') > sage.features.FeatureNotPresentError: pycryptosat is not available. > Importing Solver failed: No module named 'pycryptosat' > No equivalent system packages for debian are known to Sage. > To install pycryptosat using the Sage package manager, you can try to run: > !sage -i cryptominisat > No equivalent system packages for pip are known to Sage. > ********************************************************************** > File "src/sage/sat/boolean_polynomials.py", line 86, in > sage.sat.boolean_polynomials.solve > Failed example: > F.subs(s[0]) # optional - > cryptominisat > Exception raised: > Traceback (most recent call last): > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/doctest/forker.py", > line 694, in _run > self.compile_and_execute(example, compiler, test.globs) > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/doctest/forker.py", > line 1088, in compile_and_execute > exec(compiled, globs) > File "<doctest sage.sat.boolean_polynomials.solve[4]>", line 1, in > <module> > F.subs(s[Integer(0)]) > # optional - cryptominisat > KeyError: 0 > ********************************************************************** > > > > > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/combinat/matrices/dancing_links.pyx > ********************************************************************** > File "src/sage/combinat/matrices/dancing_links.pyx", line 925, in > sage.combinat.matrices.dancing_links.dancing_linksWrapper.to_sat_solver > Failed example: > x.to_sat_solver('cryptominisat') # optional - cryptominisat > Exception raised: > Traceback (most recent call last): > File "sage/misc/cachefunc.pyx", line 1943, in > sage.misc.cachefunc.CachedMethodCaller.__call__ > (build/cythonized/sage/misc/cachefunc.c:10347) > return cache[k] > KeyError: (('cryptominisat',), ()) > > During handling of the above exception, another exception occurred: > > Traceback (most recent call last): > File "sage/misc/lazy_import.pyx", line 253, in > sage.misc.lazy_import.LazyImport._get_object > (build/cythonized/sage/misc/lazy_import.c:2866) > self._object = getattr(__import__(self._module, {}, {}, > [self._name]), self._name) > ModuleNotFoundError: No module named 'pycryptosat' > > During handling of the above exception, another exception occurred: > > Traceback (most recent call last): > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/doctest/forker.py", > line 694, in _run > self.compile_and_execute(example, compiler, test.globs) > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/doctest/forker.py", > line 1088, in compile_and_execute > exec(compiled, globs) > File "<doctest > sage.combinat.matrices.dancing_links.dancing_linksWrapper.to_sat_solver[4]>", > line 1, in <module> > x.to_sat_solver('cryptominisat') # optional - cryptominisat > File "sage/misc/cachefunc.pyx", line 1948, in > sage.misc.cachefunc.CachedMethodCaller.__call__ > (build/cythonized/sage/misc/cachefunc.c:10483) > w = self._instance_call(*args, **kwds) > File "sage/misc/cachefunc.pyx", line 1824, in > sage.misc.cachefunc.CachedMethodCaller._instance_call > (build/cythonized/sage/misc/cachefunc.c:9949) > return self.f(self._instance, *args, **kwds) > File "sage/combinat/matrices/dancing_links.pyx", line 930, in > sage.combinat.matrices.dancing_links.dancing_linksWrapper.to_sat_solver > (build/cythonized/sage/combinat/matrices/dancing_links.cpp:7158) > s = SAT(solver) > File "sage/sat/solvers/satsolver.pyx", line 382, in > sage.sat.solvers.satsolver.SAT > (build/cythonized/sage/sat/solvers/satsolver.c:3268) > return CryptoMiniSat(*args, **kwds) > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/sat/solvers/cryptominisat.py", > line 69, in __init__ > self._solver = Solver(verbose=int(verbosity), > confl_limit=int(confl_limit), threads=int(threads)) > File "sage/misc/lazy_import.pyx", line 391, in > sage.misc.lazy_import.LazyImport.__call__ > (build/cythonized/sage/misc/lazy_import.c:4183) > return self.get_object()(*args, **kwds) > File "sage/misc/lazy_import.pyx", line 217, in > sage.misc.lazy_import.LazyImport.get_object > (build/cythonized/sage/misc/lazy_import.c:2543) > return self._get_object() > File "sage/misc/lazy_import.pyx", line 256, in > sage.misc.lazy_import.LazyImport._get_object > (build/cythonized/sage/misc/lazy_import.c:2981) > raise FeatureNotPresentError(self._feature, reason=f'Importing > {self._name} failed: {e}') > sage.features.FeatureNotPresentError: pycryptosat is not available. > Importing Solver failed: No module named 'pycryptosat' > No equivalent system packages for debian are known to Sage. > To install pycryptosat using the Sage package manager, you can try to run: > !sage -i cryptominisat > No equivalent system packages for pip are known to Sage. > ********************************************************************** > 1 item had failures: > 1 of 6 in > sage.combinat.matrices.dancing_links.dancing_linksWrapper.to_sat_solver > [250 tests, 1 failure, 6.72 s] > > > > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/sat/solvers/cryptominisat.py > ********************************************************************** > File "src/sage/sat/solvers/cryptominisat.py", line 50, in > sage.sat.solvers.cryptominisat.CryptoMiniSat > Failed example: > solver = CryptoMiniSat() # optional - > cryptominisat > Exception raised: > Traceback (most recent call last): > File "sage/misc/lazy_import.pyx", line 253, in > sage.misc.lazy_import.LazyImport._get_object > (build/cythonized/sage/misc/lazy_import.c:2866) > self._object = getattr(__import__(self._module, {}, {}, > [self._name]), self._name) > ModuleNotFoundError: No module named 'pycryptosat' > > During handling of the above exception, another exception occurred: > > Traceback (most recent call last): > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/doctest/forker.py", > line 694, in _run > self.compile_and_execute(example, compiler, test.globs) > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/doctest/forker.py", > line 1088, in compile_and_execute > exec(compiled, globs) > File "<doctest sage.sat.solvers.cryptominisat.CryptoMiniSat[1]>", line > 1, in <module> > solver = CryptoMiniSat() # optional > - cryptominisat > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/sat/solvers/cryptominisat.py", > line 69, in __init__ > self._solver = Solver(verbose=int(verbosity), > confl_limit=int(confl_limit), threads=int(threads)) > File "sage/misc/lazy_import.pyx", line 391, in > sage.misc.lazy_import.LazyImport.__call__ > (build/cythonized/sage/misc/lazy_import.c:4183) > return self.get_object()(*args, **kwds) > File "sage/misc/lazy_import.pyx", line 217, in > sage.misc.lazy_import.LazyImport.get_object > (build/cythonized/sage/misc/lazy_import.c:2543) > return self._get_object() > File "sage/misc/lazy_import.pyx", line 256, in > sage.misc.lazy_import.LazyImport._get_object > (build/cythonized/sage/misc/lazy_import.c:2981) > raise FeatureNotPresentError(self._feature, reason=f'Importing > {self._name} failed: {e}') > sage.features.FeatureNotPresentError: pycryptosat is not available. > Importing Solver failed: No module named 'pycryptosat' > No equivalent system packages for debian are known to Sage. > To install pycryptosat using the Sage package manager, you can try to run: > !sage -i cryptominisat > No equivalent system packages for pip are known to Sage. > ********************************************************************** > > > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/sat/solvers/satsolver.pyx > ********************************************************************** > File "src/sage/sat/solvers/satsolver.pyx", line 131, in > sage.sat.solvers.satsolver.SatSolver.read > Failed example: > solver = CryptoMiniSat() # > optional - cryptominisat > Exception raised: > Traceback (most recent call last): > File "sage/misc/lazy_import.pyx", line 253, in > sage.misc.lazy_import.LazyImport._get_object > (build/cythonized/sage/misc/lazy_import.c:2866) > self._object = getattr(__import__(self._module, {}, {}, > [self._name]), self._name) > ModuleNotFoundError: No module named 'pycryptosat' > > During handling of the above exception, another exception occurred: > > Traceback (most recent call last): > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/doctest/forker.py", > line 694, in _run > self.compile_and_execute(example, compiler, test.globs) > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/doctest/forker.py", > line 1088, in compile_and_execute > exec(compiled, globs) > File "<doctest sage.sat.solvers.satsolver.SatSolver.read[9]>", line 1, > in <module> > solver = CryptoMiniSat() # > optional - cryptominisat > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/sat/solvers/cryptominisat.py", > line 69, in __init__ > self._solver = Solver(verbose=int(verbosity), > confl_limit=int(confl_limit), threads=int(threads)) > File "sage/misc/lazy_import.pyx", line 391, in > sage.misc.lazy_import.LazyImport.__call__ > (build/cythonized/sage/misc/lazy_import.c:4183) > return self.get_object()(*args, **kwds) > File "sage/misc/lazy_import.pyx", line 217, in > sage.misc.lazy_import.LazyImport.get_object > (build/cythonized/sage/misc/lazy_import.c:2543) > return self._get_object() > File "sage/misc/lazy_import.pyx", line 256, in > sage.misc.lazy_import.LazyImport._get_object > (build/cythonized/sage/misc/lazy_import.c:2981) > raise FeatureNotPresentError(self._feature, reason=f'Importing > {self._name} failed: {e}') > sage.features.FeatureNotPresentError: pycryptosat is not available. > Importing Solver failed: No module named 'pycryptosat' > No equivalent system packages for debian are known to Sage. > To install pycryptosat using the Sage package manager, you can try to run: > !sage -i cryptominisat > No equivalent system packages for pip are known to Sage. > ********************************************************************** > > > > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/rings/polynomial/multi_polynomial_sequence.py > ********************************************************************** > File "src/sage/rings/polynomial/multi_polynomial_sequence.py", line 1425, in > sage.rings.polynomial.multi_polynomial_sequence.PolynomialSequence_gf2.solve > Failed example: > sol = S.solve(algorithm='sat') # optional - cryptominisat > Exception raised: > Traceback (most recent call last): > File "sage/misc/lazy_import.pyx", line 253, in > sage.misc.lazy_import.LazyImport._get_object > (build/cythonized/sage/misc/lazy_import.c:2866) > self._object = getattr(__import__(self._module, {}, {}, > [self._name]), self._name) > ModuleNotFoundError: No module named 'pycryptosat' > > During handling of the above exception, another exception occurred: > > Traceback (most recent call last): > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/doctest/forker.py", > line 694, in _run > self.compile_and_execute(example, compiler, test.globs) > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/doctest/forker.py", > line 1088, in compile_and_execute > exec(compiled, globs) > File "<doctest > sage.rings.polynomial.multi_polynomial_sequence.PolynomialSequence_gf2.solve[10]>", > line 1, in <module> > sol = S.solve(algorithm='sat') # optional - cryptominisat > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/rings/polynomial/multi_polynomial_sequence.py", > line 1490, in solve > solutions = solve_sat(S, n=n, **kwds) > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/sat/boolean_polynomials.py", > line 252, in solve > solver = solver(**solver_kwds) > File > "/home/slabbe/GitBox/sage/local/var/lib/sage/venv-python3.8/lib/python3.8/site-packages/sage/sat/solvers/cryptominisat.py", > line 69, in __init__ > self._solver = Solver(verbose=int(verbosity), > confl_limit=int(confl_limit), threads=int(threads)) > File "sage/misc/lazy_import.pyx", line 391, in > sage.misc.lazy_import.LazyImport.__call__ > (build/cythonized/sage/misc/lazy_import.c:4183) > return self.get_object()(*args, **kwds) > File "sage/misc/lazy_import.pyx", line 217, in > sage.misc.lazy_import.LazyImport.get_object > (build/cythonized/sage/misc/lazy_import.c:2543) > return self._get_object() > File "sage/misc/lazy_import.pyx", line 256, in > sage.misc.lazy_import.LazyImport._get_object > (build/cythonized/sage/misc/lazy_import.c:2981) > raise FeatureNotPresentError(self._feature, reason=f'Importing > {self._name} failed: {e}') > sage.features.FeatureNotPresentError: pycryptosat is not available. > Importing Solver failed: No module named 'pycryptosat' > No equivalent system packages for debian are known to Sage. > To install pycryptosat using the Sage package manager, you can try to run: > !sage -i cryptominisat > No equivalent system packages for pip are known to Sage. > ********************************************************************** > 1 item had failures: > 1 of 23 in > sage.rings.polynomial.multi_polynomial_sequence.PolynomialSequence_gf2.solve > [257 tests, 1 failure, 14.82 s] > > > > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/interfaces/expect.py > ********************************************************************** > File "src/sage/interfaces/expect.py", line 915, in > sage.interfaces.expect.Expect._eval_line > Failed example: > singular.interrupt() > Expected: > True > Got: > False > ********************************************************************** > File "src/sage/interfaces/expect.py", line 921, in > sage.interfaces.expect.Expect._eval_line > Failed example: > singular('2+3') > Expected: > Singular crashed -- automatically restarting. > 5 > Got: > 5 > ********************************************************************** > 1 item had failures: > 2 of 16 in sage.interfaces.expect.Expect._eval_line > [102 tests, 2 failures, 19.58 s] > > > > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/combinat/designs/incidence_structures.py > ********************************************************************** > File "src/sage/combinat/designs/incidence_structures.py", line 2042, in > sage.combinat.designs.incidence_structures.IncidenceStructure.? > Failed example: > len(designs.steiner_triple_system(7).coloring()) > Expected: > 3 > Got: > 2 > ********************************************************************** > 1 item had failures: > 1 of 35 in sage.combinat.designs.incidence_structures.IncidenceStructure.? > [338 tests, 1 failure, 2.48 s] > > > > > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/graphs/generic_graph.py > ********************************************************************** > File "src/sage/graphs/generic_graph.py", line 9037, in > sage.graphs.generic_graph.GenericGraph.nowhere_zero_flow > Failed example: > h = g.nowhere_zero_flow(k=3) > Expected: > Traceback (most recent call last): > ... > EmptySetError: the problem has no feasible solution > Got: > <BLANKLINE> > ********************************************************************** > File "src/sage/graphs/generic_graph.py", line 9665, in > sage.graphs.generic_graph.GenericGraph.? > Failed example: > p1,p2 = g.disjoint_routed_paths([((0, 0), (4, 4)), ((0, 4), (4, 0))]) > Expected: > Traceback (most recent call last): > ... > EmptySetError: the disjoint routed paths do not exist > Got: > <BLANKLINE> > ********************************************************************** > 2 items had failures: > 1 of 1103 in sage.graphs.generic_graph.GenericGraph.? > 1 of 29 in sage.graphs.generic_graph.GenericGraph.nowhere_zero_flow > [3694 tests, 2 failures, 74.22 s] > > > > sage -t --long --random-seed=277349812120896257585806851727004727044 > src/sage/graphs/graph.py > ********************************************************************** > File "src/sage/graphs/graph.py", line 4270, in sage.graphs.graph.Graph.? > Failed example: > g.has_homomorphism_to(graphs.CycleGraph(4)) is not False > Expected: > False > Got: > True > ********************************************************************** > File "src/sage/graphs/graph.py", line 4677, in sage.graphs.graph.Graph.minor > Failed example: > L = g.minor(graphs.CompleteGraph(3)) > Expected: > Traceback (most recent call last): > ... > ValueError: This graph has no minor isomorphic to H ! > Got: > <BLANKLINE> > ********************************************************************** > File "src/sage/graphs/graph.py", line 5892, in sage.graphs.graph.Graph.? > Failed example: > g.topological_minor(graphs.CycleGraph(3)) > Expected: > False > Got: > Subgraph of (Subgraph of (RandomGNP(15,0.300000000000000))): Graph on 0 > vertices > ********************************************************************** > 2 items had failures: > 2 of 279 in sage.graphs.graph.Graph.? > 1 of 14 in sage.graphs.graph.Graph.minor > [1216 tests, 3 failures, 43.39 s] > > -- > You received this message because you are subscribed to the Google Groups > "sage-release" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-release/cc134257-34d8-4c26-8719-24a994dc42dan%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/CAAWYfq2oEp0rHeRTLzhu3GNOEau85Pnb5ke0wp6qzUUvT7bU9Q%40mail.gmail.com.
