TropicalMultivector

Struct TropicalMultivector 

Source
pub struct TropicalMultivector<T, const P: usize, const Q: usize, const R: usize>
where T: Float,
{ /* private fields */ }
Expand description

A geometric algebra multivector in tropical space

Combines geometric algebra with tropical semiring operations. Generic over:

  • T: Scalar type (must implement Float)
  • P, Q, R: Metric signature (p positive, q negative, r null dimensions)

Implementations§

Source§

impl<T, const P: usize, const Q: usize, const R: usize> TropicalMultivector<T, P, Q, R>
where T: Float,

Source

pub fn new() -> TropicalMultivector<T, P, Q, R>

Create a new tropical multivector

Initializes all components to tropical zero (-∞)

Source

pub fn from_components( components: Vec<T>, ) -> Result<TropicalMultivector<T, P, Q, R>, TropicalError>

Create from component values

Source

pub fn dim(&self) -> usize

Get total number of components

Source

pub fn get(&self, index: usize) -> Result<TropicalNumber<T>, TropicalError>

Get component at index

Source

pub fn set( &mut self, index: usize, value: TropicalNumber<T>, ) -> Result<(), TropicalError>

Set component at index

Source

pub fn components(&self) -> &[TropicalNumber<T>]

Get slice of all components

Source

pub fn tropical_add( &self, other: &TropicalMultivector<T, P, Q, R>, ) -> TropicalMultivector<T, P, Q, R>

Tropical multivector addition (grade-wise max)

Source

pub fn geometric_product( &self, other: &TropicalMultivector<T, P, Q, R>, ) -> TropicalMultivector<T, P, Q, R>

Geometric product in tropical algebra

This is a simplified implementation for tropical geometric algebra. In tropical algebra, the geometric product combines grade-wise operations.

Source

pub fn tropical_norm(&self) -> TropicalNumber<T>

Compute tropical norm

In tropical algebra, the norm is the maximum absolute value of all components (tropical addition of all components)

Source

pub fn scalar(&self) -> TropicalNumber<T>

Get scalar part (grade-0 component)

Trait Implementations§

Source§

impl<T, const P: usize, const Q: usize, const R: usize> Clone for TropicalMultivector<T, P, Q, R>
where T: Clone + Float,

Source§

fn clone(&self) -> TropicalMultivector<T, P, Q, R>

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<T, const P: usize, const Q: usize, const R: usize> Debug for TropicalMultivector<T, P, Q, R>
where T: Debug + Float,

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<T, const P: usize, const Q: usize, const R: usize> Default for TropicalMultivector<T, P, Q, R>
where T: Float,

Source§

fn default() -> TropicalMultivector<T, P, Q, R>

Returns the “default value” for a type. Read more
Source§

impl<T, const P: usize, const Q: usize, const R: usize> Display for TropicalMultivector<T, P, Q, R>
where T: Float + Display,

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<T, const P: usize, const Q: usize, const R: usize> PartialEq for TropicalMultivector<T, P, Q, R>
where T: PartialEq + Float,

Source§

fn eq(&self, other: &TropicalMultivector<T, P, Q, R>) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

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

impl<T, const P: usize, const Q: usize, const R: usize> StructuralPartialEq for TropicalMultivector<T, P, Q, R>
where T: Float,

Auto Trait Implementations§

§

impl<T, const P: usize, const Q: usize, const R: usize> Freeze for TropicalMultivector<T, P, Q, R>

§

impl<T, const P: usize, const Q: usize, const R: usize> RefUnwindSafe for TropicalMultivector<T, P, Q, R>
where T: RefUnwindSafe,

§

impl<T, const P: usize, const Q: usize, const R: usize> Send for TropicalMultivector<T, P, Q, R>
where T: Send,

§

impl<T, const P: usize, const Q: usize, const R: usize> Sync for TropicalMultivector<T, P, Q, R>
where T: Sync,

§

impl<T, const P: usize, const Q: usize, const R: usize> Unpin for TropicalMultivector<T, P, Q, R>
where T: Unpin,

§

impl<T, const P: usize, const Q: usize, const R: usize> UnwindSafe for TropicalMultivector<T, P, Q, R>
where T: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

Source§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
Source§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
Source§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
Source§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T> ToString for T
where T: Display + ?Sized,

Source§

fn to_string(&self) -> String

Converts the given value to a String. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> Scalar for T
where T: 'static + Clone + PartialEq + Debug,