nx_poly.nx

buildroot/runtime/nx_poly.nx

2900 B107 linesdepth 4pulls 5 transitivereach 37 importersview sourcekind library

docs dependencies structs consts functions

about

nx_poly.nx -- polynomial operations over i64 coefficients. Polynomials stored as arrays: p[0] + p[1]*x + p[2]*x^2 + ... + p[deg]*x^deg. genealogy_id: descartes_geometrie_1637 + newton_arithmetica_universalis lineage_id: algebra_distributivity + commutativity axioms: NX_AX_ALG_DISTRIBUTIVITY, NX_AX_PEANO_PA5_INDUCTION

dependencies 3 imports · 3 importers

imports: syscalls.nxnx_axioms.nxnx_i128.nx

imported by: nx_qed_freek.nxnx_swcompare_bench.nxnx_theorems6_test.nx

structs

none

consts

none

functions

21	func nx_poly_eval(p: *i64, deg: i64, x: i64) -> i64 called by 5: nx_th_mvt_witness nx_th_lhopital_ratio nx_th_taylor_eval_order_n nx_th_brouwer_1d_fixed_point main
33	func nx_poly_derivative(p: i64, deg: i64, out: i64) -> i64 called by 4: nx_th_mvt_witness nx_th_lhopital_ratio nx_th_taylor_eval_order_n main
44	func nx_poly_mul(a: i64, deg_a: i64, b: i64, deg_b: i64, out: *i64) -> i64 called by 1: main
64	func nx_poly_add(a: i64, deg_a: i64, b: i64, deg_b: i64, out: *i64) -> i64 called by 1: main
80	func nx_poly_scalar_mul(p: *i64, deg: i64, k: i64) -> i64
92	func nx_poly_power_sum(n: i64, p: i64) -> i64 called by 2: nx_th_faulhaber_p_check main