Files needed for a verification of the proofs of Claims A.1 and B.1 in the paper "Minimum number of edges that occur in odd cycles" by Grzesik, Hu, and Volec

This web-page contains the matrices and the scripts that can be used to verify the correctness of the proofs of Claims A.1 and B.1 presented in the paper "Minimum number of edges that occur in odd cycles" authored by Andrzej Grzesik, Ping Hu, and Jan Volec. A preliminary version of the paper can be downloaded from arXiv.

Verification scripts and data (tar; the size of the archive is around 800K)

Usage: extract the files from the archive and run sage verify_claims.sage

Description of the files in the archive: