nx_measure.nx

buildroot/runtime/nx_measure.nx

3256 B88 linesdepth 4pulls 5 transitivereach 36 importersview sourcekind library

docs dependencies structs consts functions

about

nx_measure.nx -- Lebesgue measure primitives. Substrate-level measure-theoretic foundation: * interval length on [a, b] * simple-function integration * sigma-additivity verifier on disjoint intervals genealogy_id: lebesgue_1902 + borel_1898 + caratheodory_1914 lineage_id: measure_theory + sigma_additivity + integration axioms: NX_AX_PROB_NONNEGATIVITY, NX_AX_MEAS_NULL_EMPTY, NX_AX_MEAS_MONOTONICITY, NX_AX_MEAS_SUBADDITIVITY, NX_AX_PROB_COUNTABLE_ADDITIVITY

dependencies 3 imports · 2 importers

imports: syscalls.nxnx_axioms.nxnx_i128.nx

imported by: nx_qed_freek.nxnx_theorems10_test.nx

structs

none

consts

none

functions

25	func nx_measure_interval_length(a: i64, b: i64) -> i64 called by 6: nx_measure_finite_union_length nx_measure_simple_integral nx_measure_finite_additivity_check nx_measure_monotonicity_check nx_th_lebesgue_translation_invariance_check main
32	func nx_measure_finite_union_length(intervals: *i64, n: i64) -> i64 called by 1: nx_measure_finite_additivity_check calls 1: nx_measure_interval_length
45	func nx_measure_simple_integral(intervals: i64, vals: i64, n: i64) -> i64 called by 1: main calls 2: nx_measure_interval_length nx_muldiv_i64
61	func nx_measure_finite_additivity_check(intervals: *i64, n: i64) -> i64 called by 1: main calls 2: nx_measure_finite_union_length nx_measure_interval_length
75	func nx_measure_monotonicity_check(a1: i64, b1: i64, a2: i64, b2: i64) -> i64 called by 1: main calls 1: nx_measure_interval_length
86	func nx_measure_empty_set() -> i64 called by 1: main