Struct VerifiedMultivector 

pub struct VerifiedMultivector<const P: usize, const Q: usize, const R: usize> {
    pub inner: Multivector<P, Q, R>,
    /* private fields */
}

Verified multivector with signature information preserved

Fields

inner: Multivector<P, Q, R>

Implementations

impl<const P: usize, const Q: usize, const R: usize> VerifiedMultivector<P, Q, R>

pub fn new(inner: Multivector<P, Q, R>) -> Self

Create verified multivector with compile-time signature checking

pub fn into_inner(self) -> Multivector<P, Q, R>

Extract inner multivector for GPU operations (loses verification)

pub fn inner(&self) -> &Multivector<P, Q, R>

Get reference to inner multivector

pub fn verify_invariants(&self) -> Result<(), GpuVerificationError>

Verify mathematical invariants

pub fn signature() -> (usize, usize, usize)

Get signature tuple

Trait Implementations

impl<const P: usize, const Q: usize, const R: usize> Clone for VerifiedMultivector<P, Q, R>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const P: usize, const Q: usize, const R: usize> Debug for VerifiedMultivector<P, Q, R>

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

Formats the value using the given formatter.