Trait FormLift 

pub trait FormLift: Form {
    // Required method
    fn jet_flat_array<𝒞: Cat, S: Field, const N: usize>(
        value: &<Self as Tensor>::Array<Jet<𝒞, S, N>>,
    ) -> <Dual<Self> as Tensor>::Array<Jet<𝒞, S, N>>
       where Jet<𝒞, S, N>: Field;

    // Provided method
    fn jet_flat<𝒞: Cat, S: Field, const N: usize>(
        value: &JetVector<𝒞, Self, N, S>,
    ) -> Dual<JetVector<𝒞, Self, N, S>>
       where Jet<𝒞, S, N>: Field,
             JetVector<𝒞, Self, N, S>: Tensor<F = Jet<𝒞, S, N>> { ... }
}

Extends a lowering map through arbitrary jet scalar presentations.

Implementors provide the array-level operation, which avoids assuming that distinct tensor wrappers share a nominal array type. FormLift::jet_flat supplies the public tensor-valued wrapper. For a semilinear form the implementation must preserve the form’s conjugation convention coefficient by coefficient.

Required Methods

fn jet_flat_array<𝒞: Cat, S: Field, const N: usize>( value: &<Self as Tensor>::Array<Jet<𝒞, S, N>>, ) -> <Dual<Self> as Tensor>::Array<Jet<𝒞, S, N>>

where Jet<𝒞, S, N>: Field,

Applies the lifted lowering map to raw coordinate arrays.

Provided Methods

fn jet_flat<𝒞: Cat, S: Field, const N: usize>( value: &JetVector<𝒞, Self, N, S>, ) -> Dual<JetVector<𝒞, Self, N, S>>

where Jet<𝒞, S, N>: Field, JetVector<𝒞, Self, N, S>: Tensor<F = Jet<𝒞, S, N>>,

Applies the lifted lowering map to a JetVector.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<R: Field, const N: usize, const M: usize> FormLift for Coords<R, N, M>

impl<V> FormLift for Dual<V>

where V: NondegenerateLift,

impl<V> FormLift for Sinister<V>

where V: FormLift<Action = BothSided>,

impl<𝒞: Cat, V, const N: usize, S> FormLift for JetVector<𝒞, V, N, S>

where V: FormLift, S: Field, Jet<𝒞, S, N>: Field, Self: Form<F = Jet<𝒞, S, N>>,