Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
GNU General Public License v3.0
14
stars
6
forks
source link
Janko Kharaghani Tonchev graph is broken for Graph.lovasz_theta() #624
g.lovasz_theta() reports the following error (why!?):
Error in lines 1-1
Traceback (most recent call last):
File "/cocalc/lib/python3.8/site-packages/smc_sagews/sage_server.py", line 1230, in execute
exec(
File "", line 1, in
File "", line 1893, in lovasz_theta
File "/ext/sage/sage-9.3/local/lib/python3.9/site-packages/sage/graphs/lovasz_theta.py", line 75, in lovasz_theta
lines = subprocess.check_output(['theta', tf_name])
File "/ext/sage/sage-9.3/local/lib/python3.9/subprocess.py", line 424, in check_output
return run(*popenargs, stdout=PIPE, timeout=timeout, check=True,
File "/ext/sage/sage-9.3/local/lib/python3.9/subprocess.py", line 528, in run
raise CalledProcessError(retcode, process.args,
subprocess.CalledProcessError: Command '['theta', '/home/user/.sage/temp/project-cb50a279-6fe7-4419-8692-e00fc9c71347/465/tmp_bcgoc3y5']' died with <Signals.SIGKILL: 9>.
g=graphs.JankoKharaghaniTonchevGraph()
g.lovasz_theta() reports the following error (why!?):
Error in lines 1-1 Traceback (most recent call last): File "/cocalc/lib/python3.8/site-packages/smc_sagews/sage_server.py", line 1230, in execute exec( File "", line 1, in
File "", line 1893, in lovasz_theta
File "/ext/sage/sage-9.3/local/lib/python3.9/site-packages/sage/graphs/lovasz_theta.py", line 75, in lovasz_theta
lines = subprocess.check_output(['theta', tf_name])
File "/ext/sage/sage-9.3/local/lib/python3.9/subprocess.py", line 424, in check_output
return run(*popenargs, stdout=PIPE, timeout=timeout, check=True,
File "/ext/sage/sage-9.3/local/lib/python3.9/subprocess.py", line 528, in run
raise CalledProcessError(retcode, process.args,
subprocess.CalledProcessError: Command '['theta', '/home/user/.sage/temp/project-cb50a279-6fe7-4419-8692-e00fc9c71347/465/tmp_bcgoc3y5']' died with <Signals.SIGKILL: 9>.