See https://trac.sagemath.org/ticket/33162 for the cause of this
On Thu, Jan 13, 2022 at 6:53 PM Dima Pasechnik <[email protected]> wrote: > > ./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/CAAWYfq3_GpK9an9Zbwbn1Onembevn2vdofEzjUkSRrWVMXxNjg%40mail.gmail.com.
