This repository contains the scripts that were used to calculate and evaluate the concrete bounds presented in Tighter Bounds for the Oblivious Bit-Fixing Inner Product Extractor on Biased Seeds by Jack Doerner and Lawrence Roy.
cube_tutte_poly.sagecalculates tutte polynomials of cube matroids using a single thread and sage's built-in methods.cube_tutte_poly_parallel.sagecalculates tutte polynomials of cube matroids using many threads.poly_printer.sageprints coboundary polynomials derived from the tutte polynomials that the previous two scripts produce. This was used to create Appendix B.4_norm_bound.sageevaluates the LLTT and manually-derived 4-norm bounds. This script was used to create the rows of table 1.5 that do not correspond to theorem 1.4.matroid_bound.sageevaluates the matroid bounds. This script was used to create the rows of table 1.5 that correspond to theorem 1.4, and also to create Appendix A.