# Inducibility of directed paths

##
Ilkyoo Choi, Bernard Lidický, Florian Pfender

This page contains computer assisted parts of the paper
*Inducibility of directed paths*.

A preliminary version of the paper can be downloaded here
or from arXiv.

Here, you can download the technical things as one archive

It is also possible to download programs needed to perform the calculation
from arXiv.
* Dependencies*

* Description of the content of anc-full.tar.gz*

` F_edges2orientedblind__forbidden.txt ` ... List of forbidden flags (i.e. $\vec{T}_3$)
` F_edges2orientedblind__nX_labeled.txt ` ... List of labeled flags for caclulating $P_X$
` F_edges2orientedblind__nX_unlabeled.txt ` ... List of unlabeled flags on $X$ vertices
` F_edges2orientedblind__objective_PX.txt ` ... objective function, i.e. $\vec{P}_X$
` SDP_nX_UB_F_edges2orientedblind__objective_PX.txt.dat-s ` ... semidefinite program
` SDP_nX_UB_F_edges2orientedblind__objective_PX.txt.dat-s.result ` ... numerical solution of the semidefinite program
` altered_PX.dat-s ` ... projection of the semidefinite program
` altered_PX.dat-s.result ` ... numerical solution to the projection
` flag.cpp ` ... C++ program generating flags and their products
` readme.txt ` ... some small comments
` rounding_exact.sage ` ... sage script for exact rounding
` round_particular_PX.sage ` ... sage script for exact rounding for $\vec{P}_X$.
` check_PX.sage ` ... sage script for checking only the rounding for $\vec{P}_X$.
` Makefile ` ... for compiling flag.cpp
` mesh-opt.cpp ` ... C++ program for optimizing the mesh (P)
` generate_funky.py ` ... Python script to check possible embeddings of $\vec{P}_4$ with funky edges.