Struct EuclideanR4 

pub struct EuclideanR4;

Trait Implementations

impl Clone for EuclideanR4

fn clone(&self) -> EuclideanR4

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EuclideanR4

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

Formats the value using the given formatter.

impl Default for EuclideanR4

fn default() -> EuclideanR4

Returns the “default value” for a type.

impl IsometryGroup for EuclideanR4

type Iso = Iso4Flat

fn iso_identity(&self) -> Iso4Flat

fn iso_compose(&self, a: Iso4Flat, b: Iso4Flat) -> Iso4Flat

a ∘ b, apply b first, then a.

fn iso_inverse(&self, a: Iso4Flat) -> Iso4Flat

fn iso_apply(&self, iso: Iso4Flat, p: Vec4) -> Vec4

fn iso_transport(&self, iso: Iso4Flat, _at: Vec4, v: Vec4) -> Vec4

Maps tangents at at to tangents at iso_apply(iso, at).

impl PartialEq for EuclideanR4

fn eq(&self, other: &EuclideanR4) -> 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 RasterizableSpace<4> for EuclideanR4

fn point_to_array(p: Vec4) -> [f32; 4]

fn array_to_point(arr: [f32; 4]) -> Vec4

fn project_point(point: Vec4, projection: &Projection<4>) -> Option<Vec3>

fn tessellate_segment( p0: Vec4, p1: Vec4, samples: usize, emit: impl FnMut(Vec4), )

Emits both endpoints and samples - 1 interior points when samples > 1.

impl Space for EuclideanR4

type Point = Vec4

type Vector = Vec4

type Frame = Rotor4

fn frame_at(&self, _at: Vec4) -> Rotor4

fn distance(&self, a: Vec4, b: Vec4) -> f32

fn exp(&self, at: Vec4, v: Vec4) -> Vec4

Advances for unit time along the geodesic with initial velocity v.

fn log(&self, from: Vec4, to: Vec4) -> Vec4

fn parallel_transport(&self, _from: Vec4, _to: Vec4, v: Vec4) -> Vec4

fn is_chart_flat(&self) -> bool

True when chart arithmetic respects the global geometry, including identifications.

fn chart_envelope(&self) -> f32

Geodesic distance from the chart origin beyond which Self::valid_point refuses a point.

fn valid_point(&self, p: Vec4) -> bool

Finite, inside the chart, and within Self::chart_envelope of the origin.

fn parallel_transport_along( &self, path: &[Self::Point], v: Self::Vector, ) -> Self::Vector

Composes transport along consecutive points; fewer than two points leave v unchanged.

impl WgslSpace for EuclideanR4

fn wgsl_impl(&self) -> Cow<'static, str>

Emits loam_distance, loam_origin_distance, loam_exp, loam_log, loam_geodesic_step, and LOAM_MAX_ARC over the space’s point type.

fn wgsl_accuracy(&self) -> WgslAccuracy

impl Copy for EuclideanR4

impl Eq for EuclideanR4

impl StructuralPartialEq for EuclideanR4