BCF10: Boolean Cubic Forms in Ten Variables
收藏官方服务:
资源简介:
This dataset contains data for the 3,691,560 nonzero GL(10,2)-orbits of Boolean cubic forms in ten variables. Equivalently, it catalogs the nonzero GL(10,2)-orbits of Reed-Muller code quotient RM*(3,10) = RM(3,10) / RM(2,10). The dataset includes packed cubic representatives, natural dimensions, stabilizer orders, invariant hashes, alternating-rank decompositions, RM(2,10) coset weight enumerators, closest RM(2,10) corrections, and RM(6,10) corrections for the cocubic upper bounds. It also includes the full weight enumerators of RM(3,10) and RM(3,11), verification code and C++20 reference implementations for the invariant hash, stabilizer order, and RM(2,10) coset enumerator.
提供机构:
Zenodo创建时间:
2026-06-26



