nx_lattice.nx
buildroot/runtime/nx_lattice.nx
about
nx_lattice.nx -- 2D integer lattice primitives.
Foundation for Minkowski's fundamental theorem (Freek #40) and
related geometry of numbers results.
genealogy_id: minkowski_1896_geometrie_der_zahlen
lineage_id: zfc_separation + lattice + symmetric_convex_set
axioms: NX_AX_ZFC_SEPARATION, NX_AX_GEO_TWO_POINTS_DETERMINE_LINE
dependencies 3 imports · 2 importers
imports: syscalls.nxnx_axioms.nxnx_i128.nx
imported by: nx_qed_freek.nxnx_theorems9_test.nx
structs
| none |
consts
| none |
functions
| 22 | func nx_lattice_disk_point_count(R: i64) -> i64 called by 1: main |
| 40 | func nx_lattice_rect_point_count(A: i64, B: i64) -> i64 called by 1: main |
| 55 | func nx_lattice_minkowski_rect_check(A: i64, B: i64) -> i64 called by 1: nx_th_minkowski_fundamental_check |
| 64 | func nx_lattice_norm_sq(x: i64, y: i64) -> i64 called by 1: nx_lattice_shortest_vector_search |
| 71 | func nx_lattice_shortest_vector_search(a1: i64, a2: i64, b1: i64, b2: i64, calls 1: nx_lattice_norm_sq |