code wiki / (root) / nx_theorems2_test.nx

nx_theorems2_test.nx

buildroot/runtime/nx_theorems2_test.nx

3414 B77 linesdepth 6pulls 12 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_theorems2_test.nx -- batch 2 smoke.

dependencies 2 imports · 0 importers

syscalls.nx nx_qed_freek.nx nx_theorems2_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_fermat_little_check nx_th_pow_mod nx_th_lagrange_subgroup_di nx_th_cantor_power_card nx_th_euler_phi nx_th_gcd nx_th_wilson_check 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_triangle_ineq nx_abs nx_th_am_gm_check nx_muldiv_i64 ↻ nx_th_newton_p2 nx_muldiv_i64 ↻ nx_th_vieta_quadratic_b nx_th_vieta_quadratic_c nx_muldiv_i64 ↻ nx_th_heron_area_sq_16 nx_muldiv_i64 ↻ nx_th_law_of_cosines_check nx_muldiv_i64 ↻ nx_abs ↻ nx_th_euler_characteristic nx_th_ivt_binary_search nx_th_ivt_target_f nx_muldiv_i64 ↻

structs

none

consts

none

functions

6func main() -> i64 {
calls 14: nx_th_fermat_little_checknx_th_lagrange_subgroup_dividesnx_th_cantor_power_cardnx_th_euler_phinx_th_wilson_checknx_th_triangle_ineq+8