code wiki / (root) / nx_theorems7_test.nx

nx_theorems7_test.nx

buildroot/runtime/nx_theorems7_test.nx

5419 B119 linesdepth 6pulls 14 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_theorems7_test.nx -- batch 7 verification.

dependencies 2 imports · 0 importers

syscalls.nx nx_qed_freek.nx nx_theorems7_test.nx

imports: syscalls.nxnx_qed_freek.nx

imported by: nobody (leaf or entry point)

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

main nx_th_prime_count nx_th_is_prime_trial nx_th_legendre_symbol nx_th_pow_mod nx_th_quadratic_reciprocit nx_th_legendre_symbol ↻ nx_th_circle_area_ppb nx_muldiv_i64 nx_i128_alloc nx_i128_mul_i64 nx_i128_mul_u64 nx_i128_neg nx_i128_div_i64 nx_i128_is_neg nx_i128_neg ↻ nx_i128_udiv_u64 nx_th_basel_partial_ppb nx_th_leibniz_pi_over_4_pa nx_th_ballot_prob_ppb nx_muldiv_i64 ↻ nx_muldiv_i64 ↻ nx_th_partition sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ nx_th_quartic_resolvent_co nx_th_quartic_resolvent_co

structs

none

consts

none

functions

6func main() -> i64 {
calls 21: nx_th_prime_countnx_th_legendre_symbolnx_th_quadratic_reciprocity_checknx_th_circle_area_ppbnx_th_basel_partial_ppbnx_th_leibniz_pi_over_4_partial_ppb+15