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.
