Struct VelocityOneForm 

pub struct VelocityOneForm<R>
where
    R: RealField,
{ /* private fields */ }

A velocity field as an edge 1-form (grade-1 cochain) on a cubical lattice.

This is the unprojected marching state: it implements Clone, Add, and Mul<R> (and nothing more) so a whole-field state satisfies the Rk4/Euler arrow bounds. Divergence-freeness is not an invariant of this type — that is crate::SolenoidalField’s job, reachable only through a projection.

Implementations

impl<R> VelocityOneForm<R>

where R: RealField,

pub fn new<const D: usize>( field: CausalTensor<R>, manifold: &Manifold<LatticeComplex<D, R>, R>, ) -> Result<VelocityOneForm<R>, PhysicsError>

Construct from a grade-1 cochain, validating length against the manifold and finiteness of every coefficient.

Errors

• PhysicsError::DimensionMismatch on a length/grade mismatch.
• PhysicsError::NumericalInstability on NaN or infinite coefficients.

pub fn from_raw(field: CausalTensor<R>) -> VelocityOneForm<R>

Solver-facing low-level constructor: wraps a tensor that is already a valid grade-1 cochain by construction (operator output on a validated lattice, or the cochain of a crate::SolenoidalField). Skips the new validation pass; callers guarantee length and provenance. Public so the DEC solver in deep_causality_cfd can construct the form.

pub fn as_tensor(&self) -> &CausalTensor<R>

The underlying edge cochain.

pub fn len(&self) -> usize

Number of edge coefficients.

pub fn is_empty(&self) -> bool

True when the carrier holds no coefficients.

Trait Implementations

impl<R> Add for VelocityOneForm<R>

where R: RealField,

Add and Mul<R> for VelocityOneForm — exactly the bounds the Rk4/Euler arrows require of a marching state, and nothing more.

fn add(self, rhs: VelocityOneForm<R>) -> VelocityOneForm<R>

Element-wise sum of two velocity 1-forms.

Panics

Panics when the operands carry different edge counts (fields from different lattices); validated construction makes this a programming error, not a runtime condition.

type Output = VelocityOneForm<R>

The resulting type after applying the + operator.

impl<R> Clone for VelocityOneForm<R>

where R: Clone + RealField,

fn clone(&self) -> VelocityOneForm<R>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<R> Debug for VelocityOneForm<R>

where R: Debug + RealField,

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

Formats the value using the given formatter.

impl<R> Mul<R> for VelocityOneForm<R>

where R: RealField,

fn mul(self, rhs: R) -> VelocityOneForm<R>

Scalar scaling of the whole field.

type Output = VelocityOneForm<R>

The resulting type after applying the * operator.

impl<R> PartialEq for VelocityOneForm<R>

where R: PartialEq + RealField,

fn eq(&self, other: &VelocityOneForm<R>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<R> StructuralPartialEq for VelocityOneForm<R>

where R: PartialEq + RealField,