code wiki / (root) / nx_triangulation_number_theory.nx

nx_triangulation_number_theory.nx

buildroot/runtime/nx_triangulation_number_theory.nx

6641 B151 linesdepth 5pulls 7 transitivereach 0 importersview sourcekind tooltopic triangulation
docsdependenciesstructsconstsfunctions

about

nx_triangulation_number_theory.nx -- number-theory property battery. Same shape-match pattern as algebra battery: proves number-theory identities on nx_int across sample inputs, providing shared L5 for QED corpus theorems with matching names (gcd_comm, gcd_self, etc).

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_runtime.nx nx_tier.nx nx_classical_unpatented.nx nx_classical_unpatented_2.nx nx_triangulation_number_theory

imports: nx_syscalls.nxnx_runtime.nxnx_tier.nxnx_classical_unpatented.nxnx_classical_unpatented_2.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_mmap println sys_write strlen sys_mmap ↻ nx_gcd_euclidean nx_check_prop print sys_write ↻ strlen ↻ println ↻ nx_lcm nx_gcd_euclidean ↻ nx_mod_pow nx_is_prime_trial print ↻ print_i64 sys_mmap ↻ itoa sys_mmap ↻ sys_write ↻

structs

none

consts

none

functions

18func nx_check_prop(label: *u8, ok: nx_int, agree: *nx_int, fail: *nx_int)
called by 1: main calls 2: printprintln
29func main() -> nx_exit
calls 9: sys_mmapprintlnnx_gcd_euclideannx_check_propnx_lcmnx_mod_pow+3