Struct Lattice 

pub struct Lattice { /* private fields */ }

A positive-definite integral lattice presented by its Gram matrix.

The Gram presentation is the mathematical owner. Enumeration dispatches to lattice-enum, whose search geometry, candidates, and norms use exact FLINT-backed integer and rational arithmetic.

Implementations

impl Lattice

pub fn from_gram(gram: Matrix<IntegerRing>) -> Result<Self, LatticeError>

Construct and validate a lattice from a symmetric positive-definite Gram matrix.

pub fn gram_matrix(&self) -> &Matrix<IntegerRing>

The exact integral Gram matrix.

pub fn rank(&self) -> usize

The lattice rank.

pub fn shortest_vectors( &self, bound: Option<Integer>, max_pairs: Option<usize>, ) -> Result<LatticeEnumeration, LatticeError>

Enumerate one canonical representative from each ± pair up to a norm bound.

With no bound, this returns the complete shortest-vector shell. Supplying max_pairs permits a deterministic prefix and bypasses the kernel’s whole-ellipsoid work estimate. The returned value states whether that prefix is complete. A rank-zero lattice accepts bounded empty-shell queries but rejects the unbounded form because no nonzero minimum is attained.

pub fn minimum_vector_configuration( &self, ) -> Result<MinimumVectorConfiguration, LatticeError>

Compute and certify the complete minimum-vector configuration.

pub fn closest_vectors( &self, target_numerators: &[i64], target_denominator: i64, max_count: Option<usize>, ) -> Result<ClosestLatticeVectors, LatticeError>

Find every closest lattice vector to an exact rational target.

target_numerators / target_denominator gives coordinates in the Gram presentation. Returned coordinates are currently word-sized; search geometry, Gram arithmetic, distances and comparisons are exact and arbitrary precision.

Trait Implementations

impl Clone for Lattice

fn clone(&self) -> Lattice

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Lattice

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Lattice

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for Lattice

fn eq(&self, other: &Lattice) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl SemanticType for Lattice

const TYPE_ID: &'static str = "noether/linalg/Lattice@1"

Versioned, language-neutral semantic identity.

fn canonical_bytes(&self) -> Result<Vec<u8>, NoetherError>

Serialize without backend- or language-specific identity.

fn describe() -> &'static TypeDescription

Return static discovery metadata for the type.

impl Eq for Lattice

impl StructuralPartialEq for Lattice