# 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.

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
• 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$.
• generate_funky.py ... Python script to check possible embeddings of $\vec{P}_4$ with funky edges.