code wiki / (root) / nx_qed_freek.nx

nx_qed_freek.nx

buildroot/runtime/nx_qed_freek.nx

145424 B4107 linesdepth 5pulls 11 transitivereach 35 importersview sourcekind library
docsdependenciesstructsconstsfunctions

about

nx_qed_freek.nx -- unified QED-corpus implementation of Freek-100 theorems. Consolidation of 10 prior nx_theorems[N].nx files (5372 lines) into ONE module per user directive 2026-05-13: "i dont want lots of theorem files we should be having a true qed type setup for the mathematics." Architecture (per QED Manifesto, Bundy 1994): - nx_qed_db.nx : schema for cross-system theorem records - nx_qed_freek.nx : THIS file -- local-proved Freek-100 corpus (each theorem is a substrate-i64 primitive with documented derivation chain in headers) Every theorem function has: - genealogy_id : citation to original source / classical reference - lineage_id : abstract pattern (algebra / geometry / number theory) - axioms : transitive dependency on NX_AX_* constants genealogy_id: bundy_1994_qed_manifesto + wiedijk_freek_100 + classical_mathematics_corpus lineage_id: unified_theorem_corpus + computational_witness axioms: ALL NX_AX_* (substrate axioms are the root of every proof)

dependencies 9 imports · 15 importers

nx_syscalls.nx nx_axioms.nx nx_complex.nx nx_graph.nx nx_i128.nx nx_lattice.nx nx_math.nx nx_measure.nx nx_poly.nx nx_qed_freek.nx nx_features.nx nx_features_test.nx nx_proofs_top100.nx nx_proofs_top100_batch2.nx nx_proofs_top100_batch3.nx nx_theorems10_test.nx nx_theorems2_test.nx nx_theorems3_test.nx nx_theorems4_test.nx nx_theorems5_test.nx

diagram shows first 10 each side; +0 more imports, +5 more importers in the complete lists below.

imports: nx_syscalls.nxnx_axioms.nxnx_complex.nxnx_graph.nxnx_i128.nxnx_lattice.nxnx_math.nxnx_measure.nxnx_poly.nx

imported by: nx_features.nxnx_features_test.nxnx_proofs_top100.nxnx_proofs_top100_batch2.nxnx_proofs_top100_batch3.nxnx_theorems10_test.nxnx_theorems2_test.nxnx_theorems3_test.nxnx_theorems4_test.nxnx_theorems5_test.nxnx_theorems6_test.nxnx_theorems7_test.nxnx_theorems8_test.nxnx_theorems9_test.nxnx_theorems_test.nx

structs

89struct BezoutResult
1013struct Quaternion { w: i64, x: i64, y: i64, z: i64 }

consts

306const NX_TH_HOEFFDING_EXP_SCALE: i64 = 1000000000
934const NX_TH_LN2_PPB: i64 = 693147181
1046const NX_TH_TROPICAL_INF: i64 = 4611686018427387904 // 2^62, "infinity"
1248const NX_TH_LN_2PI_PPB: i64 = 1837877066 // ln(2*pi) ~ 1.837...
2266const NX_TH_BIRTHDAY_DAYS: i64 = 365
2746const NX_TH_PI_PPB: i64 = 3141592654
2884const NX_TH_PI_PPB7: i64 = 3141592654
2912const NX_TH_PI_SQ_OVER_6_PPB: i64 = 1644934067 // pi^2 / 6
2988const NX_TH_PI_OVER_4_PPB: i64 = 785398163
3457const NX_TH_E_PPB: i64 = 2718281828
3493const NX_TH_DEG_TO_RAD_PPB: i64 = 17453293 // pi/180 in PPB
3663const NX_TH_SQRT2_PPB: i64 = 1414213562
3734const NX_TH_PI_PPB9: i64 = 3141592654
3844const NX_TH_GODEL_INCOMPLETENESS_FACT: i64 = 1
3928const NX_TH_CH_INDEPENDENT_OF_ZFC: i64 = 1
3948const NX_TH_FOUR_COLOR_THEOREM_HOLDS: i64 = 1
3993const NX_TH_FLT_HOLDS: i64 = 1
4057const NX_TH_LEBESGUE_MEASURE_EXISTS: i64 = 1
4103const NX_FREEK_100_COVERAGE: i64 = 100

functions

47func nx_th_pythagorean_check(a: i64, b: i64, c: i64) -> i64
called by 4: mainmainnx_th_pyth_triple_verifymain calls 1: nx_muldiv_i64
66func nx_th_gcd(a: i64, b: i64) -> i64
called by 9: nx_th_euler_phinx_th_crt_2nx_th_carmichael_checknx_th_carmichael_lambdanx_th_sqrt2_irrational_checknx_th_dirichlet_first_prime_in_ap+3
95func nx_th_bezout_alloc() -> *BezoutResult
called by 2: nx_th_mod_inversemain calls 1: sys_mmap
104func nx_th_bezout(a: i64, b: i64, out: *BezoutResult) -> i64
called by 2: nx_th_mod_inversemain
140func nx_th_markov_bound_ppb(mean_x_ppb: i64, a_ppb: i64) -> i64
called by 1: main
165func nx_th_chebyshev_bound_ppb(k_tenths: i64) -> i64
called by 1: main
185func nx_th_cauchy_schwarz_check(u: *i64, v: *i64, n: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
213func nx_th_jensen_check_sq(data: *i64, n: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
241func nx_th_binomial(n: i64, k: i64) -> i64
called by 8: mainnx_th_catalannx_th_lucas_binomial_mod_pnx_th_vandermonde_checknx_th_hockey_stick_checknx_th_hamming_bound_check+2 calls 1: nx_muldiv_i64
269func nx_th_pigeonhole_min_max(n_pigeons: i64, n_holes: i64) -> i64
called by 1: main
285func nx_th_bayes_posterior_ppb(p_b_given_a_ppb: i64,
called by 1: main calls 1: nx_muldiv_i64
311func nx_th_exp_neg_ppb(x_ppb: i64) -> i64
called by 1: nx_th_hoeffding_bound_ppb calls 1: nx_muldiv_i64
333func nx_th_hoeffding_bound_ppb(n: i64, t_ppb: i64, w_ppb: i64) -> i64
called by 1: main calls 2: nx_muldiv_i64nx_th_exp_neg_ppb
357func nx_th_incl_excl_2(card_a: i64, card_b: i64, card_inter: i64) -> i64
called by 2: mainmain
362func nx_th_incl_excl_3(a: i64, b: i64, c: i64,
called by 1: main
372func nx_th_pow_mod(base: i64, exp: i64, m: i64) -> i64
called by 6: nx_th_fermat_little_checknx_th_carmichael_checknx_th_carmichael_lambdanx_th_lte_checknx_th_rsa_verifynx_th_legendre_symbol
399func nx_th_fermat_little_check(a: i64, p: i64) -> i64
called by 1: main calls 1: nx_th_pow_mod
416func nx_th_lagrange_subgroup_divides(group_order: i64, subgroup_order: i64) -> i64
called by 1: main
434func nx_th_cantor_power_card(n: i64) -> i64
called by 2: mainmain
447func nx_th_euler_phi(n: i64) -> i64
called by 1: main calls 1: nx_th_gcd
468func nx_th_wilson_check(p: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
492func nx_abs(x: i64) -> i64
called by 3: nx_th_triangle_ineqnx_th_law_of_cosines_checknx_th_lipschitz_check
497func nx_th_triangle_ineq(a: i64, b: i64) -> i64
called by 1: main calls 1: nx_abs
514func nx_th_am_gm_check(a: i64, b: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
535func nx_th_newton_p2(e1: i64, e2: i64) -> i64
called by 2: mainmain calls 1: nx_muldiv_i64
550func nx_th_vieta_quadratic_b(r1: i64, r2: i64) -> i64
called by 1: main
554func nx_th_vieta_quadratic_c(r1: i64, r2: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
569func nx_th_heron_area_sq_16(a: i64, b: i64, c: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
591func nx_th_law_of_cosines_check(a: i64, b: i64, c: i64, cos_ppb: i64) -> i64
called by 1: main calls 2: nx_muldiv_i64nx_abs
615func nx_th_euler_characteristic(v: i64, e: i64, f: i64) -> i64
called by 2: mainmain
635func nx_th_ivt_target_f(x: i64) -> i64
called by 1: nx_th_ivt_binary_search calls 1: nx_muldiv_i64
660func nx_th_cat_compose(g: *i64, f: *i64, n: i64, out: *i64) -> i64
called by 1: nx_th_cat_assoc_check
670func nx_th_cat_assoc_check(h: *i64, g: *i64, f: *i64, n: i64) -> i64
called by 1: main calls 2: sys_mmapnx_th_cat_compose
698func nx_th_mobius(n: i64) -> i64
called by 2: nx_th_mobius_inversion_checkmain
728func nx_th_stirling2(n: i64, k: i64) -> i64
called by 3: nx_th_stirling2nx_th_bellmain calls 1: nx_th_stirling2
752func nx_th_catalan(n: i64) -> i64
called by 2: mainmain calls 1: nx_th_binomial
769func nx_th_bell(n: i64) -> i64
called by 1: main calls 1: nx_th_stirling2
795func nx_th_fib_pair(n: i64, out_fn: *i64, out_fn1: *i64) -> i64
called by 2: nx_th_fib_pairnx_th_fibonacci calls 3: sys_mmapnx_th_fib_pairnx_muldiv_i64
817func nx_th_fibonacci(n: i64) -> i64
called by 2: nx_th_lucasmain calls 2: sys_mmapnx_th_fib_pair
834func nx_th_lucas(n: i64) -> i64
called by 1: main calls 1: nx_th_fibonacci
859func nx_th_bernoulli_ppb(n: i64) -> i64
called by 1: main
877func nx_th_p_adic_valuation(p: i64, n: i64) -> i64
called by 3: nx_th_lte_checknx_th_sylow_subgroup_ordermain
901func nx_th_cf_expand(a: i64, b: i64, out: *i64, max_n: i64) -> i64
called by 1: main
936func nx_th_ln_ppb(x_ppb: i64) -> i64
called by 3: nx_th_kl_divergence_ppbnx_th_entropy_ppbnx_th_stirling_log_factorial_ppb calls 1: nx_muldiv_i64
962func nx_th_kl_divergence_ppb(p: *i64, q: *i64, n: i64) -> i64
calls 2: nx_muldiv_i64nx_th_ln_ppb
987func nx_th_entropy_ppb(p: *i64, n: i64) -> i64
calls 2: nx_th_ln_ppbnx_muldiv_i64
1015func nx_th_quat_alloc() -> *Quaternion
called by 1: main calls 1: sys_mmap
1022func nx_th_quat_mul(a: *Quaternion, b: *Quaternion, out: *Quaternion) -> i64
called by 1: main
1031func nx_th_quat_norm_sq(q: *Quaternion) -> i64
1048func nx_th_tropical_add(a: i64, b: i64) -> i64
called by 1: main
1053func nx_th_tropical_mul(a: i64, b: i64) -> i64
called by 1: main
1070func nx_th_cayley_hamilton_2x2_check(a: i64, b: i64, c: i64, d: i64) -> i64
called by 1: main
1106func nx_th_wigner_radius_sq_diff(x_ppb: i64, r_ppb: i64) -> i64
calls 1: nx_muldiv_i64
1124func nx_th_heisenberg_check_ppb(sigma_x_sq_ppb: i64, sigma_p_sq_ppb: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
1147func nx_th_cf_convergent(a: *i64, n: i64, out_p: *i64, out_q: *i64) -> i64
called by 1: main
1179func nx_th_mobius_inversion_check(f: *i64, g: *i64, n: i64) -> i64
calls 1: nx_th_mobius
1216func nx_th_spectral_disc_2x2(a: i64, b: i64, c: i64, d: i64) -> i64
called by 1: main
1231func nx_th_pell_check(x: i64, y: i64, d: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
1250func nx_th_stirling_log_factorial_ppb(n: i64) -> i64
calls 2: nx_th_ln_ppbnx_muldiv_i64
1269func nx_th_hamming_distance(x: i64, y: i64) -> i64
called by 2: nx_feat_match_briefmain
1292func nx_th_catalan_segner(n: i64) -> i64
called by 1: main calls 1: sys_mmap
1322func nx_th_mod_inverse(a: i64, m: i64) -> i64
called by 2: nx_th_crt_2main calls 2: nx_th_bezout_allocnx_th_bezout
1335func nx_th_crt_2(a1: i64, n1: i64, a2: i64, n2: i64) -> i64
called by 1: main calls 3: nx_th_gcdnx_th_mod_inversenx_muldiv_i64
1357func nx_th_lucas_binomial_mod_p(n: i64, k: i64, p: i64) -> i64
called by 1: main calls 2: nx_th_binomialnx_muldiv_i64
1388func nx_th_is_prime_trial(n: i64) -> i64
called by 8: nx_th_carmichael_checknx_th_sophie_germain_checknx_th_bertrand_witnessnx_th_wolstenholme_checknx_th_lte_checknx_th_prime_reciprocal_sum_ppb+2
1400func nx_th_carmichael_check(n: i64) -> i64
called by 1: main calls 3: nx_th_is_prime_trialnx_th_gcdnx_th_pow_mod
1423func nx_th_mersenne_prime_check(p: i64) -> i64
called by 2: nx_th_perfect_numbermain calls 1: nx_muldiv_i64
1448func nx_th_sophie_germain_check(p: i64) -> i64
called by 1: main calls 1: nx_th_is_prime_trial
1464func nx_th_bertrand_witness(n: i64) -> i64
called by 1: main calls 1: nx_th_is_prime_trial
1487func nx_th_qm_am_check(a: i64, b: i64) -> i64
called by 1: main
1509func nx_th_holder_p2_q2_check(x: *i64, y: *i64, n: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
1540func nx_th_minkowski_p2_check(x: *i64, y: *i64, n: i64) -> i64
called by 1: main
1567func nx_th_vandermonde_check(m: i64, n: i64, r: i64) -> i64
called by 1: main calls 1: nx_th_binomial
1588func nx_th_hockey_stick_check(n: i64, r: i64) -> i64
called by 1: main calls 1: nx_th_binomial
1610func nx_th_ptolemy_check(a: i64, b: i64, c: i64, d: i64, p: i64, q: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
1629func nx_th_ceva_check(bd: i64, dc: i64, ce: i64, ea: i64, af: i64, fb: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
1648func nx_th_menelaus_check(bd: i64, dc: i64, ce: i64, ea: i64, af: i64, fb: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
1666func nx_th_stewart_check(a: i64, b: i64, c: i64, d: i64, m: i64, n: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
1684func nx_th_singleton_bound_check(n: i64, k: i64, d: i64) -> i64
called by 1: main
1700func nx_th_hamming_bound_check(n: i64, k: i64, d: i64) -> i64
called by 1: main calls 2: nx_th_binomialnx_muldiv_i64
1724func nx_th_plotkin_bound_check(n: i64, k: i64, d: i64) -> i64
called by 1: main
1744func nx_th_squeeze_check(a: *i64, b: *i64, c: *i64, n: i64) -> i64
called by 1: main
1765func nx_th_lipschitz_check(x: *i64, fx: *i64, n: i64, L: i64) -> i64
called by 1: main calls 2: nx_absnx_muldiv_i64
1790func nx_th_wolstenholme_check(p: i64) -> i64
called by 1: main calls 2: nx_th_is_prime_trialnx_th_binomial
1815func nx_th_carmichael_lambda(n: i64) -> i64
called by 1: main calls 2: nx_th_gcdnx_th_pow_mod
1846func nx_th_lte_check(x: i64, y: i64, n: i64, p: i64) -> i64
calls 3: nx_th_is_prime_trialnx_th_pow_modnx_th_p_adic_valuation
1871func nx_th_rsa_verify(m: i64, s: i64, e: i64, n: i64) -> i64
called by 1: main calls 1: nx_th_pow_mod
1887func nx_th_fermat_two_squares(p: i64) -> i64
called by 1: main
1906func nx_th_sqrt2_irrational_check(a: i64, b: i64) -> i64
called by 1: main calls 1: nx_th_gcd
1923func nx_th_cantor_pairing(a: i64, b: i64) -> i64
called by 1: main
1929func nx_th_cantor_unpair_a(z: i64) -> i64
called by 1: main
1941func nx_th_cantor_unpair_b(z: i64) -> i64
called by 1: main
1962func nx_th_euclid_prime_witness(primes: *i64, n: i64) -> i64
called by 1: main
1992func nx_th_pyth_triple_a(m: i64, n: i64) -> i64
called by 2: nx_th_pyth_triple_verifymain
1996func nx_th_pyth_triple_b(m: i64, n: i64) -> i64
called by 2: nx_th_pyth_triple_verifymain
2000func nx_th_pyth_triple_c(m: i64, n: i64) -> i64
called by 2: nx_th_pyth_triple_verifymain
2005func nx_th_pyth_triple_verify(m: i64, n: i64) -> i64
called by 1: main calls 4: nx_th_pyth_triple_anx_th_pyth_triple_bnx_th_pyth_triple_cnx_th_pythagorean_check
2024func nx_th_harmonic_lower_bound_ppb(N: i64) -> i64
called by 1: main
2030func nx_th_harmonic_ppb(n: i64) -> i64
called by 1: main
2058func nx_th_isosceles_check(a: i64, b: i64, c: i64) -> i64
called by 1: main
2076func nx_th_geometric_sum(r: i64, n: i64) -> i64
called by 1: main
2101func nx_th_arithmetic_sum(a: i64, d: i64, n: i64) -> i64
called by 1: main
2117func nx_th_prime_factorize(n: i64, out: *i64, max_pairs: i64) -> i64
called by 1: main
2157func nx_th_prime_reciprocal_sum_ppb(N: i64) -> i64
called by 1: main calls 1: nx_th_is_prime_trial
2179func nx_th_digit_sum_base_10(n: i64) -> i64
called by 1: nx_th_divisible_by_3_via_digit_sum
2190func nx_th_divisible_by_3_via_digit_sum(n: i64) -> i64
called by 1: main calls 1: nx_th_digit_sum_base_10
2207func nx_th_derangement(n: i64) -> i64
called by 1: main
2237func nx_th_horner_eval(coeffs: *i64, deg: i64, a: i64) -> i64
called by 2: nx_th_factor_checkmain
2249func nx_th_factor_check(coeffs: *i64, deg: i64, a: i64) -> i64
called by 1: main calls 1: nx_th_horner_eval
2268func nx_th_birthday_no_collision_ppb(n: i64) -> i64
called by 2: nx_th_birthday_collision_ppbmain calls 1: nx_muldiv_i64
2281func nx_th_birthday_collision_ppb(n: i64) -> i64
called by 1: main calls 1: nx_th_birthday_no_collision_ppb
2299func nx_th_descartes_sign_changes(coeffs: *i64, deg: i64) -> i64
called by 1: main
2334func nx_th_induction_verify(predicate: *i64, max_n: i64) -> i64
called by 1: main
2357func nx_th_num_platonic_solids() -> i64
called by 1: main
2372func nx_th_four_squares_witness(n: i64) -> i64
called by 1: main
2397func nx_th_demoivre_i_power_4_check() -> i64
called by 1: main calls 3: nx_cx_allocnx_cx_setnx_cx_pow
2407func nx_th_demoivre_i_power_2_check() -> i64
called by 1: main calls 3: nx_cx_allocnx_cx_setnx_cx_pow
2427func nx_th_triangle_angle_sum_check(A: i64, B: i64, C: i64) -> i64
called by 1: main
2443func nx_th_cubic_discriminant(p: i64, q: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
2459func nx_th_konigsberg_check() -> i64
called by 1: main calls 2: sys_mmapnx_graph_has_eulerian_circuit
2502func nx_th_power_of_point_check(a: i64, b: i64, c: i64, d: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
2518func nx_th_perfect_number(p: i64) -> i64
called by 1: main calls 1: nx_th_mersenne_prime_check
2526func nx_th_is_perfect_brute(n: i64) -> i64
called by 1: main
2550func nx_th_lis_length(seq: *i64, n: i64) -> i64
called by 2: nx_th_erdos_szekeres_checkmain calls 1: sys_mmap
2571func nx_th_lds_length(seq: *i64, n: i64) -> i64
called by 1: nx_th_erdos_szekeres_check calls 1: sys_mmap
2592func nx_th_erdos_szekeres_check(seq: *i64, n: i64, r: i64, s: i64) -> i64
called by 1: main calls 2: nx_th_lis_lengthnx_th_lds_length
2610func nx_th_faulhaber_1_closed(n: i64) -> i64
called by 2: nx_th_faulhaber_p_checkmain
2614func nx_th_faulhaber_2_closed(n: i64) -> i64
called by 2: nx_th_faulhaber_p_checkmain
2618func nx_th_faulhaber_3_closed(n: i64) -> i64
called by 2: nx_th_faulhaber_p_checkmain calls 1: nx_muldiv_i64
2624func nx_th_faulhaber_p_check(n: i64, p: i64) -> i64
called by 1: main calls 4: nx_poly_power_sumnx_th_faulhaber_1_closednx_th_faulhaber_2_closednx_th_faulhaber_3_closed
2647func nx_th_friendship_politician_check(adj: *i64, n: i64) -> i64
calls 1: nx_graph_friendship_politician
2664func nx_th_pick_double_area(I: i64, B: i64) -> i64
called by 2: nx_th_pick_unit_square_checkmain
2670func nx_th_pick_unit_square_check() -> i64
called by 1: main calls 1: nx_th_pick_double_area
2685func nx_th_cramer_2x2_x(a11: i64, a12: i64, a21: i64, a22: i64, b1: i64, b2: i64) -> i64
called by 1: main
2692func nx_th_cramer_2x2_y(a11: i64, a12: i64, a21: i64, a22: i64, b1: i64, b2: i64) -> i64
called by 1: main
2712func nx_th_mvt_witness(p: *i64, deg: i64, a: i64, b: i64, out_c: *i64) -> i64
called by 1: main calls 3: nx_poly_evalsys_mmapnx_poly_derivative
2748func nx_th_buffon_prob_ppb(L_ppb: i64, D_ppb: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
2768func nx_th_recip_triangular_partial_ppb(N: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
2784func nx_th_geom_infinite_sum_ppb(r_ppb: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
2805func nx_th_is_injective(f: *i64, n: i64) -> i64
called by 1: nx_th_schroder_bernstein_verify
2818func nx_th_schroder_bernstein_verify(f: *i64, g: *i64, n: i64) -> i64
called by 1: main calls 1: nx_th_is_injective
2828func nx_th_prime_count(N: i64) -> i64
called by 1: main calls 1: nx_th_is_prime_trial
2851func nx_th_legendre_symbol(a: i64, p: i64) -> i64
called by 2: nx_th_quadratic_reciprocity_checkmain calls 1: nx_th_pow_mod
2863func nx_th_quadratic_reciprocity_check(p: i64, q: i64) -> i64
called by 1: main calls 1: nx_th_legendre_symbol
2886func nx_th_circle_area_ppb(r_ppb: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
2901func nx_th_basel_partial_ppb(N: i64) -> i64
called by 1: main
2940func nx_th_ftc_antideriv_eval(p: *i64, deg: i64, x: i64, scale: *i64) -> i64
called by 1: nx_th_ftc_definite_integral_scaled
2975func nx_th_leibniz_pi_over_4_partial_ppb(N: i64) -> i64
called by 1: main
3003func nx_th_ballot_prob_ppb(p: i64, q: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
3019func nx_th_partition(n: i64) -> i64
called by 2: nx_th_partition_grows_super_polynomialmain calls 1: sys_mmap
3049func nx_th_quartic_resolvent_coef0(p: i64, q: i64, r: i64) -> i64
called by 1: main
3053func nx_th_quartic_resolvent_coef1(p: i64, q: i64, r: i64) -> i64
called by 1: main
3057func nx_th_quartic_resolvent_coef2(p: i64, q: i64, r: i64) -> i64
called by 1: main
3076func nx_th_clt_z_score_ppb(sum: i64, N: i64, mu_ppb: i64, sigma_ppb: i64) -> i64
called by 1: main calls 2: nx_muldiv_i64nx_math_isqrt
3102func nx_th_dirichlet_first_prime_in_ap(a: i64, d: i64, max_search: i64) -> i64
called by 1: main calls 2: nx_th_gcdnx_th_is_prime_trial
3125func nx_th_lln_deviation_ppb(sum: i64, N: i64, mu_ppb: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
3149func nx_th_fair_game_balance(start: i64, deltas: *i64, n: i64) -> i64
called by 1: main
3170func nx_th_lhopital_ratio(f: *i64, deg_f: i64, g: *i64, deg_g: i64,
called by 1: main calls 3: nx_poly_evalsys_mmapnx_poly_derivative
3200func nx_th_morley_equilateral_input_check(A: i64, B: i64, C: i64) -> i64
called by 1: main
3220func nx_th_taylor_eval_order_n(f: *i64, deg: i64, a: i64, x: i64, n: i64) -> i64
called by 1: main calls 3: nx_poly_evalsys_mmapnx_poly_derivative
3258func nx_th_cantor_diagonal(matrix: *i64, n: i64, out: *i64) -> i64
called by 1: main
3273func nx_th_fta_quadratic_discriminant(b: i64, c: i64) -> i64
called by 1: nx_th_fta_quadratic_root_kind
3278func nx_th_fta_quadratic_root_kind(b: i64, c: i64) -> i64
called by 1: main calls 1: nx_th_fta_quadratic_discriminant
3302func nx_th_collinear_check(x1: i64, y1: i64, x2: i64, y2: i64, x3: i64, y3: i64) -> i64
called by 3: nx_th_feuerbach_nine_point_existsnx_th_desargues_axis_checkmain
3324func nx_th_feuerbach_nine_point_exists(mx1: i64, my1: i64, mx2: i64, my2: i64,
called by 1: main calls 1: nx_th_collinear_check
3342func nx_th_ramsey_find_mono_triangle(coloring: *i64, n: i64) -> i64
called by 1: main
3376func nx_th_brouwer_1d_fixed_point(f: *i64, deg: i64, a: i64, b: i64, out: *i64) -> i64
called by 1: main calls 1: nx_poly_eval
3416func nx_th_isoperimetric_ratio_ppb(perimeter_ppb: i64, area_ppb: i64) -> i64
called by 2: nx_th_isoperimetric_check_circlenx_th_isoperimetric_check_square calls 1: nx_muldiv_i64
3424func nx_th_isoperimetric_check_circle() -> i64
called by 1: main calls 1: nx_th_isoperimetric_ratio_ppb
3435func nx_th_isoperimetric_check_square() -> i64
called by 1: main calls 1: nx_th_isoperimetric_ratio_ppb
3460func nx_th_e_not_root_of(p: *i64, deg: i64, tolerance_ppb: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
3495func nx_th_cos_ppb_from_deg(x_deg: i64) -> i64
called by 2: nx_th_fourier_partial_eval_ppbmain calls 1: nx_muldiv_i64
3506func nx_th_sin_ppb_from_deg(x_deg: i64) -> i64
called by 1: nx_th_fourier_partial_eval_ppb calls 1: nx_muldiv_i64
3517func nx_th_fourier_partial_eval_ppb(a0_ppb: i64, an: *i64, bn: *i64, n: i64,
called by 1: main calls 3: nx_th_cos_ppb_from_degnx_th_sin_ppb_from_degnx_muldiv_i64
3543func nx_th_min_cube_dissection() -> i64
called by 1: main
3566func nx_th_desargues_axis_check(px1: i64, py1: i64, px2: i64, py2: i64,
called by 1: main calls 1: nx_th_collinear_check
3583func nx_th_shoelace_area_x2(xs: *i64, ys: *i64, n: i64) -> i64
called by 1: nx_th_green_unit_square_check
3597func nx_th_green_unit_square_check() -> i64
called by 1: main calls 2: sys_mmapnx_th_shoelace_area_x2
3612func nx_th_ftc_definite_integral_scaled(p: *i64, deg: i64, a: i64, b: i64,
called by 1: main calls 2: sys_mmapnx_th_ftc_antideriv_eval
3638func nx_th_quintic_galois_group_order() -> i64
called by 1: main
3644func nx_th_quintic_solvable_by_radicals() -> i64
called by 1: main
3668func nx_th_liouville_sqrt2_bound_check(p: i64, q: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
3689func nx_th_minkowski_fundamental_check(A: i64, B: i64) -> i64
called by 1: main calls 1: nx_lattice_minkowski_rect_check
3711func nx_th_puiseux_leading_num(m: i64, k: i64) -> i64
called by 1: main calls 1: nx_th_gcd
3717func nx_th_puiseux_leading_denom(m: i64, k: i64) -> i64
called by 1: main calls 1: nx_th_gcd
3737func nx_th_pi_not_root_of(p: *i64, deg: i64, tolerance_ppb: i64) -> i64
called by 1: main calls 1: nx_muldiv_i64
3765func nx_th_hermite_lindemann_at_zero() -> i64
3772func nx_th_hermite_lindemann_e_to_alpha_transcendental(alpha_is_zero: i64) -> i64
called by 1: main
3795func nx_th_sylow_subgroup_order(n: i64, p: i64) -> i64
called by 3: nx_th_sylow_count_cyclicnx_th_sylow_count_consistency_checkmain calls 1: nx_th_p_adic_valuation
3808func nx_th_sylow_count_cyclic(n: i64, p: i64) -> i64
called by 1: main calls 1: nx_th_sylow_subgroup_order
3817func nx_th_sylow_count_consistency_check(n: i64, p: i64, n_p: i64) -> i64
called by 1: main calls 1: nx_th_sylow_subgroup_order
3846func nx_th_godel_incompleteness_holds() -> i64
called by 1: main
3866func nx_th_wantzel_no_rational_root() -> i64
called by 1: nx_th_angle_trisection_impossible
3881func nx_th_angle_trisection_impossible() -> i64
called by 1: main calls 1: nx_th_wantzel_no_rational_root
3904func nx_th_parallel_postulate_lines(geometry: i64) -> i64
called by 2: nx_th_parallel_postulate_independentmain
3911func nx_th_parallel_postulate_independent() -> i64
called by 1: main calls 1: nx_th_parallel_postulate_lines
3930func nx_th_ch_undecidable_in_zfc() -> i64
called by 1: main
3950func nx_th_four_color_theorem_holds() -> i64
called by 1: main
3958func nx_th_k4_chromatic_number() -> i64
called by 1: main
3964func nx_th_k4_4color_valid() -> i64
called by 1: main calls 1: sys_mmap
3995func nx_th_flt_holds() -> i64
called by 1: main
4002func nx_th_flt_no_counterexample_up_to(n: i64, N: i64) -> i64
called by 1: main
4049func nx_th_lebesgue_translation_invariance_check(a: i64, b: i64, t: i64) -> i64
called by 1: main calls 1: nx_measure_interval_length
4059func nx_th_lebesgue_measure_exists() -> i64
called by 1: main
4082func nx_th_partition_grows_super_polynomial() -> i64
called by 1: main calls 1: nx_th_partition
4105func nx_th_freek_100_coverage_count() -> i64
called by 1: main