lattice.cppm File Reference

Integer lattices in ℝ_d and ℝ_dⁿ. More...

#include <array>
#include <cmath>
#include <cstddef>
#include <limits>
#include <utility>
import dedekind.numbers:real;
import dedekind.morphologies;
import dedekind.geometry;
import dedekind.sets;
import dedekind.category;

Include dependency graph for lattice.cppm:

Classes
struct	dedekind::numbers::LatticeFactory< ℝ_d, 1 >
	Lattice factory specialization for ℝ. More...
struct	dedekind::numbers::LatticeFactory< ℝ_d, N >
	Lattice factory specialization for ℝ^N, N > 1. More...

Namespaces
namespace	dedekind::numbers

Functions
constexpr bool	dedekind::numbers::detail::is_integral_coordinate (double x)

Variables
template<auto AmbientSet, std::size_t N = 1>
constexpr LatticeFactory< AmbientSet, N >	dedekind::numbers::lattice {}
	First-class lattice value: lattice<ℝ_d>.

Detailed Description

Integer lattices in ℝ_d and ℝ_dⁿ.

@partition :lattice

Copyright

2026 The Dedekind Authors Licensed under the Apache License, Version 2.0.

Note

"Wir mussen wissen, wir werden wissen." ("We must know, we will know.") – David Hilbert (1930)