Struct RationalVector 

pub struct RationalVector<const N: usize> { /* private fields */ }

N-dimensional vector with exact rational coordinates

Used for simple roots and Weyl group operations in rank-N space. All coordinates are rational numbers for exact arithmetic.

Implementations

impl<const N: usize> RationalVector<N>

pub const fn new(coords: [Rational; N]) -> Self

Create vector from array of rationals

pub fn zero() -> Self

Create zero vector

pub const fn get(&self, i: usize) -> Rational

Get coordinate at index

pub const fn coords(&self) -> &[Rational; N]

Get all coordinates

pub fn dot(&self, other: &Self) -> Rational

Inner product (exact rational arithmetic)

pub fn norm_squared(&self) -> Rational

Norm squared: ⟨v, v⟩

pub fn sub(&self, other: &Self) -> Self

Vector subtraction

pub fn scale(&self, scalar: Rational) -> Self

Scalar multiplication

Trait Implementations

impl<const N: usize> Clone for RationalVector<N>

fn clone(&self) -> RationalVector<N>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const N: usize> Debug for RationalVector<N>

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

Formats the value using the given formatter.

impl<const N: usize> Hash for RationalVector<N>

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<const N: usize> PartialEq for RationalVector<N>

fn eq(&self, other: &RationalVector<N>) -> 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<const N: usize> Eq for RationalVector<N>

impl<const N: usize> StructuralPartialEq for RationalVector<N>