{"title":"Roots of unity, projectors, and falling-factorial coordinates","collection_revision":"3e7d9d0b80d3d7bc7a38a7bee161f7edd52e299e","program_source":"examples/roots_unity_falling_factorial.py","program_sha256":"6a933adb4d8400c597553a61552b7914ade428fd081a3c10cd86006ab45002ef","program_size":48729,"manuscript_source":"docs/demonstrations/ROOTS_UNITY_FALLING_FACTORIAL.md","manuscript_sha256":"c4d321a89a8f17fe936a6d349a92ab920de6c317a84143e67949b32dfc25980d","manuscript_url":"collection/demonstrations/ROOTS_UNITY_FALLING_FACTORIAL.html","reader_url":"read/roots-unity-falling-factorial.html","download_url":"downloads/roots-unity-falling-factorial/roots_unity_falling_factorial.py","tables":[{"name":"newton-stirling.csv","url":"downloads/roots-unity-falling-factorial/newton-stirling.csv","size":476,"sha256":"7ae24eb5dd81704a883f937afdb01cbc984cc7a23d540834e236554fe243b1a7"},{"name":"image-histograms.csv","url":"downloads/roots-unity-falling-factorial/image-histograms.csv","size":1560,"sha256":"77cd948665cf6bf2ea07f60b9d7a78f55c8ecd24a097a0648834d395b7108346"},{"name":"packet-egfs.csv","url":"downloads/roots-unity-falling-factorial/packet-egfs.csv","size":510,"sha256":"9707afec995e83bdf1d0e9d1dd7b33447fa53b51083eaa36bbab3d3f4f93ebb7"},{"name":"spectral-projectors.csv","url":"downloads/roots-unity-falling-factorial/spectral-projectors.csv","size":587,"sha256":"9413b1911673c353e25e12d5f2a16840420397e8dd8e84aa1a6b2ad5fe80c7e1"},{"name":"translation-blocks.csv","url":"downloads/roots-unity-falling-factorial/translation-blocks.csv","size":605,"sha256":"345547b92a4c65724bd52986a271de63fdee12e166aa0f4c0de9ef2d0a7383ad"},{"name":"shifted-packet-ledger.csv","url":"downloads/roots-unity-falling-factorial/shifted-packet-ledger.csv","size":150,"sha256":"e549912adda16237f64da17313a0eef37d6e60b22ed1cbcab76dcb5748116d91"},{"name":"finite-characteristic-obstruction.csv","url":"downloads/roots-unity-falling-factorial/finite-characteristic-obstruction.csv","size":141,"sha256":"bf7181c128e5db39cc7b6bb1b201e5c4d64110562dd154ea043d956d80df5271"},{"name":"packet-contributions.csv","url":"downloads/roots-unity-falling-factorial/packet-contributions.csv","size":150,"sha256":"979fa2207c06fac316c3168cbad73911b23f577481c3076ea07dcc928fa44566"},{"name":"difference-transfer.csv","url":"downloads/roots-unity-falling-factorial/difference-transfer.csv","size":123,"sha256":"6012339cfa866a75f639912ea7164563c98a1dd7b0ca2d58addc68457ca3b283"},{"name":"refinement.csv","url":"downloads/roots-unity-falling-factorial/refinement.csv","size":179,"sha256":"aea772c0e2a61676e25a23710c470a805c076ac41585c7c4267f81da049d40ba"},{"name":"projector-matrix.csv","url":"downloads/roots-unity-falling-factorial/projector-matrix.csv","size":956,"sha256":"7b2bbe0c35639e5858b0495b85f2fa6aeaad40f522412dee01cd90b1df6fb2ed"},{"name":"projection-diagram.svg","url":"downloads/roots-unity-falling-factorial/projection-diagram.svg","size":3125,"sha256":"c4fed446bd70f07f9aff42cb637f3d7b1750d2abfbe145dea61386053689a4d0"},{"name":"function-image-histogram.svg","url":"downloads/roots-unity-falling-factorial/function-image-histogram.svg","size":3157,"sha256":"69326fad2a7639d2a6ef9e865c7220d24e2288b82a4f2f1019198d8fe5947bfd"},{"name":"translation-carry.svg","url":"downloads/roots-unity-falling-factorial/translation-carry.svg","size":3554,"sha256":"4812f2862f265ac15e2208d8dd0c4c1e785a6a25256632e584643a767e5236ff"},{"name":"results.json","url":"downloads/roots-unity-falling-factorial/results.json","size":2159,"sha256":"abaa6d462a5ab9cc2e4f052d320dbc531f6e16d78d927730b0209f0b924753a9"}],"archive_url":"downloads/roots-unity-falling-factorial/source-and-results.zip","archive_sha256":"091d0e07ca558852af28540e30827411cc8eb082028ea6f5b2a64736836c110a","archive_files":[{"path":"LICENSE.md","sha256":"ac7045773daf5eff7346bd72eccc7c71e3f468f3205308452e6199abbfe8b052"},{"path":"docs/demonstrations/ROOTS_UNITY_FALLING_FACTORIAL.md","sha256":"c4d321a89a8f17fe936a6d349a92ab920de6c317a84143e67949b32dfc25980d"},{"path":"examples/roots_unity_falling_factorial.py","sha256":"6a933adb4d8400c597553a61552b7914ade428fd081a3c10cd86006ab45002ef"},{"path":"generated/difference-transfer.csv","sha256":"6012339cfa866a75f639912ea7164563c98a1dd7b0ca2d58addc68457ca3b283"},{"path":"generated/finite-characteristic-obstruction.csv","sha256":"bf7181c128e5db39cc7b6bb1b201e5c4d64110562dd154ea043d956d80df5271"},{"path":"generated/function-image-histogram.svg","sha256":"69326fad2a7639d2a6ef9e865c7220d24e2288b82a4f2f1019198d8fe5947bfd"},{"path":"generated/image-histograms.csv","sha256":"77cd948665cf6bf2ea07f60b9d7a78f55c8ecd24a097a0648834d395b7108346"},{"path":"generated/newton-stirling.csv","sha256":"7ae24eb5dd81704a883f937afdb01cbc984cc7a23d540834e236554fe243b1a7"},{"path":"generated/packet-contributions.csv","sha256":"979fa2207c06fac316c3168cbad73911b23f577481c3076ea07dcc928fa44566"},{"path":"generated/packet-egfs.csv","sha256":"9707afec995e83bdf1d0e9d1dd7b33447fa53b51083eaa36bbab3d3f4f93ebb7"},{"path":"generated/projection-diagram.svg","sha256":"c4fed446bd70f07f9aff42cb637f3d7b1750d2abfbe145dea61386053689a4d0"},{"path":"generated/projector-matrix.csv","sha256":"7b2bbe0c35639e5858b0495b85f2fa6aeaad40f522412dee01cd90b1df6fb2ed"},{"path":"generated/refinement.csv","sha256":"aea772c0e2a61676e25a23710c470a805c076ac41585c7c4267f81da049d40ba"},{"path":"generated/results.json","sha256":"abaa6d462a5ab9cc2e4f052d320dbc531f6e16d78d927730b0209f0b924753a9"},{"path":"generated/shifted-packet-ledger.csv","sha256":"e549912adda16237f64da17313a0eef37d6e60b22ed1cbcab76dcb5748116d91"},{"path":"generated/spectral-projectors.csv","sha256":"9413b1911673c353e25e12d5f2a16840420397e8dd8e84aa1a6b2ad5fe80c7e1"},{"path":"generated/translation-blocks.csv","sha256":"345547b92a4c65724bd52986a271de63fdee12e166aa0f4c0de9ef2d0a7383ad"},{"path":"generated/translation-carry.svg","sha256":"4812f2862f265ac15e2208d8dd0c4c1e785a6a25256632e584643a767e5236ff"}],"case_assertions":19878,"case_groups":{"anchor":12,"stirling":198,"roundtrip":11,"projection":1045,"difference":495,"fourier":1300,"refinement":440,"power_projector":1045,"enumeration":176,"spectral":119,"packet_egf":541,"translation_anchor":8,"translation":1386,"translation_blocks":10396,"modular_basis":290,"egf_carry":405,"characteristic":8,"matrix":1960,"star":36,"boundaries":7},"scope":"Exact classical rational-polynomial theory; roots-of-unity degree filters, conjugated projectors, Newton inversion, cyclic difference transfer, exact function enumeration, spectral projectors, formal packet EGFs, general translation and cyclic carry, finite-characteristic spectral obstructions, star multiplication and explicit failed controls. This Python record does not establish Lean acceptance; selected formal claims have a separate reader companion. No novelty claim."}