code wiki / (root) / nx_group.nx

nx_group.nx

buildroot/runtime/nx_group.nx

3558 B116 linesdepth 3pulls 4 transitivereach 1 importersview sourcekind library
docsdependenciesstructsconstsfunctions

about

nx_group.nx -- small finite group primitives. Cayley table representation: order n, table[i*n + j] = product i*j where elements are labeled 0..n-1. Identity element conventionally 0. genealogy_id: galois_1832 + cayley_1854 + lagrange_1771 lineage_id: algebra_associativity + identity + inverse + closure axioms: NX_AX_ALG_ASSOCIATIVITY, NX_AX_ALG_IDENTITY_ELEMENT, NX_AX_ALG_INVERSE_ELEMENT, NX_AX_ALG_CLOSURE

dependencies 2 imports · 1 importers

syscalls.nx nx_axioms.nx nx_group.nx nx_theorems9_test.nx

imports: syscalls.nxnx_axioms.nx

imported by: nx_theorems9_test.nx

structs

none

consts

none

functions

25func nx_group_verify_axioms(table: *i64, n: i64) -> i64
called by 1: main
73func nx_group_element_order(table: *i64, n: i64, x: i64) -> i64
called by 2: nx_group_count_order_p_elementsmain
88func nx_group_is_subgroup(table: *i64, n: i64, member: *i64) -> i64
108func nx_group_count_order_p_elements(table: *i64, n: i64, p: i64) -> i64
calls 1: nx_group_element_order