遇见数据集

BCF10: Boolean Cubic Forms in Ten Variables

收藏
Zenodo2026-06-26 更新2026-06-28 收录
官方服务:

资源简介:

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
二维码
社区交流群
二维码
科研交流群
商业服务