The Mesirov-Sweet property over F_2 up to degree 33, with two quotients of degree two up to degree 28
Source files
root filems_f2_verification.tex · root file9 KiB · SHA-256 eaa1234f84d71250… · view textancillaryanc/c_sources.py24 KiB · SHA-256 604c738daaeb555f… · view textancillaryanc/cells_d29.csv268 B · SHA-256 3cc8a8b7aa8823c2… · view textancillaryanc/cells_d30.csv278 B · SHA-256 79ce3c63ae1d548e… · view textancillaryanc/cells_d31.csv288 B · SHA-256 631f9e0def727c1e… · view textancillaryanc/cells_d32.csv298 B · SHA-256 c05ab7a6023d817b… · view textancillaryanc/cells_d33.csv308 B · SHA-256 4c5e0dc363d5b5b8… · view textancillaryanc/certs_d28_two_insertions.csv1.9 MiB · SHA-256 079a739a4026d3a3… · view textancillaryanc/certs_d33_sample.csv2.2 MiB · SHA-256 b94ccce1d9450b18… · view textancillaryanc/logs/degree28.log619 B · SHA-256 7ea9b46644ca866a… · view textancillaryanc/logs/degree33_control.log75 B · SHA-256 485859c5ece7fb12… · view textancillaryanc/logs/kmin_d1_5.log162 B · SHA-256 8cd793ac49e67716… · view textancillaryanc/logs/run29_32_D29.log322 B · SHA-256 0c1dbd9a75caa7cb… · view textancillaryanc/logs/run29_32_D30.log323 B · SHA-256 c536dc6432b1e5a9… · view textancillaryanc/logs/run29_32_D31.log324 B · SHA-256 7c7362d3ac4be5f4… · view textancillaryanc/logs/run29_32_D32.log329 B · SHA-256 39e0aab155eb5f0c… · view textancillaryanc/logs/run33.log418 B · SHA-256 037c48963f32c441… · view textancillaryanc/logs/runk2.log2 KiB · SHA-256 b4067632363af5e5… · view textancillaryanc/verif_ms_f2.py8 KiB · SHA-256 e5c63f83e1ee8c36… · view text