elli-gf2 0.1.0

Machine-first GF(2) elimination library with exact multi-backend reduction and auto-selection.
Documentation 
1
2
3
4
5
6
7
8
9
10

from elli_gf2 import reduce_file_auto

def main() -> None:
    r = reduce_file_auto("examples/sample_matrix.txt")
    print(f"sample_matrix.txt,rank={r.rank},strategy={r.strategy},ok={int(r.ok)}")
    if not r.ok:
        raise SystemExit(1)

if __name__ == "__main__":
    main()