nx_calc.nx

buildroot/runtime/nx_calc.nx

6367 B147 linesdepth 6pulls 6 transitivereach 8 importersview sourcekind librarytopic calc

docs dependencies structs consts functions

about

nx_calc.nx -- symbolic calculus engine. Native NishiLang symbolic differentiation by structural recursion over Term values. No third-party CAS; output is itself a *Term that downstream proofs can manipulate via SUBST/EQ_TRANS in the v2 kernel. Patent-clean implementation: standard derivative rules from any calculus textbook.

dependencies 1 imports · 4 importers

imports: nx_kernel_v2.nx

imported by: nx_calc_integrate.nxnx_calc_series.nxnx_calc_solve.nxnx_capabilities_test.nx

structs

none

consts

19	const NX_CALC_SYM_X: nx_int = 414001 // distinguished variable
20	const NX_CALC_SYM_ADD: nx_int = 414002
21	const NX_CALC_SYM_SUB: nx_int = 414003
22	const NX_CALC_SYM_MUL: nx_int = 414004
23	const NX_CALC_SYM_DIV: nx_int = 414005
24	const NX_CALC_SYM_POW: nx_int = 414006
25	const NX_CALC_SYM_NEG: nx_int = 414007
26	const NX_CALC_SYM_SIN: nx_int = 414008
27	const NX_CALC_SYM_COS: nx_int = 414009
28	const NX_CALC_SYM_EXP: nx_int = 414010
29	const NX_CALC_SYM_LN: nx_int = 414011
30	const NX_CALC_SYM_CONST: nx_int = 414012 // wraps an integer literal

functions

33	func nx_calc_var(var_id: nx_int) -> *Term calls 1: nx_term_var
37	func nx_calc_const_int(n: nx_int) -> *Term called by 17: nx_calc_deriv t2_subst_const t4_maclaurin_const t5_maclaurin_x2 t6_solve_linear t7_solve_quadratic+11 calls 1: nx_term_app
43	func nx_calc_x() -> *Term { return nx_term_var(NX_CALC_SYM_X) } called by 4: t4_calc_deriv_power t5_calc_deriv_sin t6_chain_rule demo1_deriv_x3 calls 1: nx_term_var
45	func nx_calc_bin(sym: nx_int, a: Term, b: Term) -> *Term called by 10: nx_calc_add nx_calc_sub nx_calc_mul nx_calc_pow nx_calc_deriv nx_calc_integrate+4 calls 1: nx_term_app
54	func nx_calc_un(sym: nx_int, a: Term) -> Term called by 7: nx_calc_sin nx_calc_cos nx_calc_exp nx_calc_ln nx_calc_deriv nx_calc_neg_cos+1 calls 1: nx_term_app
60	func nx_calc_add(a: Term, b: Term) -> *Term { return nx_calc_bin(NX_CALC_SYM_ADD, a, b) } called by 5: nx_calc_deriv t7_integrate_sum nx_calc_integrate nx_calc_maclaurin nx_calc_solve_quadratic calls 1: nx_calc_bin
61	func nx_calc_sub(a: Term, b: Term) -> *Term { return nx_calc_bin(NX_CALC_SYM_SUB, a, b) } called by 3: nx_calc_deriv nx_calc_integrate nx_calc_solve_quadratic calls 1: nx_calc_bin
62	func nx_calc_mul(a: Term, b: Term) -> *Term { return nx_calc_bin(NX_CALC_SYM_MUL, a, b) } called by 5: nx_calc_deriv nx_calc_integrate nx_calc_maclaurin nx_calc_solve_linear nx_calc_solve_quadratic calls 1: nx_calc_bin
63	func nx_calc_pow(a: Term, b: Term) -> *Term { return nx_calc_bin(NX_CALC_SYM_POW, a, b) } called by 9: nx_calc_deriv t5_maclaurin_x2 t3_integrate_power nx_calc_integrate nx_calc_maclaurin nx_calc_solve_quadratic+3 calls 1: nx_calc_bin
64	func nx_calc_sin(a: Term) -> Term { return nx_calc_un(NX_CALC_SYM_SIN, a) } called by 6: nx_calc_deriv t4_integrate_sin t7_integrate_sum nx_calc_integrate t5_calc_deriv_sin t6_chain_rule calls 1: nx_calc_un
65	func nx_calc_cos(a: Term) -> Term { return nx_calc_un(NX_CALC_SYM_COS, a) } called by 4: nx_calc_deriv t5_integrate_cos t7_integrate_sum nx_calc_neg_cos calls 1: nx_calc_un
66	func nx_calc_exp(a: Term) -> Term { return nx_calc_un(NX_CALC_SYM_EXP, a) } called by 3: nx_calc_deriv t6_integrate_exp nx_calc_integrate calls 1: nx_calc_un
67	func nx_calc_ln(a: Term) -> Term { return nx_calc_un(NX_CALC_SYM_LN, a) } called by 1: nx_calc_integrate calls 1: nx_calc_un
90	func nx_calc_deriv(t: Term, var_id: nx_int) -> Term called by 6: nx_calc_deriv nx_calc_maclaurin t4_calc_deriv_power t5_calc_deriv_sin t6_chain_rule demo1_deriv_x3 calls 12: nx_calc_const_int nx_calc_add nx_calc_deriv nx_term_arg nx_calc_sub nx_calc_mul+6