7
True
True
loaded utilities
loaded invariants
loaded properties
loaded theorems
The truncated icosidodecahedral graph was not loaded. Caused by:
*Error: Numerical inconsistency is found. Use the GMP exact arithmetic.
loaded graphs
Remember to load DIMACS and Sloane graphs if you want them
Error in lines 2-3
Traceback (most recent call last):
File "/cocalc/lib/python2.7/site-packages/smc_sagews/sage_server.py", line 1188, in execute
flags=compile_flags) in namespace, locals
File "", line 2, in <module>
File "/ext/sage/sage-8.4_1804/local/lib/python2.7/site-packages/sage/graphs/generic_graph.py", line 19265, in show
return self.graphplot(**plot_kwds).show(**kwds)
File "/ext/sage/sage-8.4_1804/local/lib/python2.7/site-packages/sage/graphs/graph_plot.py", line 886, in show
self.plot().show(**kwds)
File "/cocalc/lib/python2.7/site-packages/smc_sagews/sage_salvus.py", line 2943, in show
s = show0(objs, combine_all=True)
File "/cocalc/lib/python2.7/site-packages/smc_sagews/sage_salvus.py", line 2902, in show0
b = show0(a)
File "/cocalc/lib/python2.7/site-packages/smc_sagews/sage_salvus.py", line 2865, in show0
show_2d_plot_using_matplotlib(obj, svg=svg, **kwds)
File "/cocalc/lib/python2.7/site-packages/smc_sagews/sage_salvus.py", line 2677, in show_2d_plot_using_matplotlib
obj.save(t, **kwds)
File "/ext/sage/sage-8.4_1804/local/lib/python2.7/site-packages/sage/misc/decorators.py", line 486, in wrapper
return func(*args, **kwds)
File "/ext/sage/sage-8.4_1804/local/lib/python2.7/site-packages/sage/plot/graphics.py", line 3167, in save
figure = self.matplotlib(**options)
File "/ext/sage/sage-8.4_1804/local/lib/python2.7/site-packages/sage/plot/graphics.py", line 2618, in matplotlib
g._render_on_subplot(subplot)
File "/ext/sage/sage-8.4_1804/local/lib/python2.7/site-packages/sage/plot/line.py", line 265, in _render_on_subplot
subplot.add_line(p)
File "/ext/sage/sage-8.4_1804/local/lib/python2.7/site-packages/matplotlib/axes/_base.py", line 1928, in add_line
self._set_artist_props(line)
File "/ext/sage/sage-8.4_1804/local/lib/python2.7/site-packages/matplotlib/axes/_base.py", line 958, in _set_artist_props
a.axes = self
File "/ext/sage/sage-8.4_1804/local/lib/python2.7/site-packages/matplotlib/lines.py", line 627, in axes
self.recache_always)
File "/ext/sage/sage-8.4_1804/local/lib/python2.7/site-packages/matplotlib/cbook/__init__.py", line 343, in connect
proxy.add_destroy_callback(self._remove_proxy)
File "/ext/sage/sage-8.4_1804/local/lib/python2.7/site-packages/matplotlib/cbook/__init__.py", line 184, in add_destroy_callback
self._destroy_callbacks.append(_BoundMethodProxy(callback))
File "/ext/sage/sage-8.4_1804/local/lib/python2.7/site-packages/matplotlib/cbook/__init__.py", line 169, in __init__
self.inst = ref(cb.im_self, self._destroy)
File "src/cysignals/signals.pyx", line 265, in cysignals.signals.python_check_interrupt
File "src/cysignals/signals.pyx", line 98, in cysignals.signals.sig_raise_exception
KeyboardInterrupt
Complete graph: Graph on 3 vertices
True
[(is_clique)->(is_hamiltonian)]
False
[((is_bipartite)&(is_regular))->(is_hamiltonian), (is_cycle)->(is_hamiltonian)]
'A_'
((is_bipartite)&(is_regular))->(is_hamiltonian)
(is_cycle)->(is_hamiltonian)
((is_bipartite)&(is_regular))->(is_hamiltonian)
True
False
1
False
True
[3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3]
True
False
(is_cycle)->(is_hamiltonian)
((is_strongly_regular)&(is_bipartite))->(is_hamiltonian)
(is_cycle)->(is_hamiltonian)