Inducibility of the Net Graph Ancillary Files

This page contains all computer assisted parts of the paper titled Inducibility of the Net Graph. 

You can download the files as one archive or the readme file below. Note that the readme file is also included in the archive

• readme.txt 

• Net_Anc_Files.zip 

Description of the files contained in the readme.txt file

• readme.txt 

• claim3_1.sage

• minFunkyDeg.sage 

• net-opt.cpp

• check.sh

• check.sage.log

• round_base.sage.log

• check.sage

• F_edges2_objective_NET.txt__latex.pdf

• F_edges2_objective_NET.txt__latex.tex

• round_NET.sage.log

• rounding_Integer.sage

• SDP_n8_LB_F_edges2_objective_NET.txt.dat-s.csdp.log

• SDP_n8_LB_F_edges2_objective_NET.txt.dat-s.result

• SDP_n8_LB_F_edges2_objective_NET.txt.dat-s

• SDP_n8_LB_F_edges_objective_NET.txt.dat-s.result.round.Integer.all.pkl

• F_edges2_objective_NET.txt