pub enum DuchonPsiDirection {
Global,
Axis(usize),
}Expand description
The outer coordinate a Duchon ψ-derivative differentiates (gam#2735).
The anisotropic Duchon metric is u² = Σ_a exp(2 ψ_a) h_a², and the ψ
coordinates the outer REML solve owns are the raw ψ_a: each one
decodes simultaneously into the global scale κ = exp(mean ψ) and the
centered contrast η_a = ψ_a − mean ψ, so
∂ log κ / ∂ψ_a = 1/d ∂η_b / ∂ψ_a = δ_ab − 1/dGlobal is the all-ones direction of that frame — moving every ψ_a by the
same amount leaves every contrast fixed and multiplies κ. That is not a
convention, it is an identity, and it is what
duchon_axis_log_kappa_derivatives reproduces by construction:
summing its first derivative over a, and its second over (a, b), gives
scaled_log_kappa_derivatives exactly. The isotropic route is therefore a
contraction of the anisotropic one rather than a parallel derivation that
could drift from it.
Variants§
Global
ψ = log κ. Every contrast — and therefore every metric weight
w_a = exp(2η_a) appearing explicitly in the operator-penalty blocks —
is constant along this direction.
Axis(usize)
The raw per-axis coordinate ψ_a.
Trait Implementations§
Source§impl Clone for DuchonPsiDirection
impl Clone for DuchonPsiDirection
Source§fn clone(&self) -> DuchonPsiDirection
fn clone(&self) -> DuchonPsiDirection
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreimpl Copy for DuchonPsiDirection
Source§impl Debug for DuchonPsiDirection
impl Debug for DuchonPsiDirection
impl Eq for DuchonPsiDirection
Source§impl PartialEq for DuchonPsiDirection
impl PartialEq for DuchonPsiDirection
impl StructuralPartialEq for DuchonPsiDirection
Auto Trait Implementations§
impl Freeze for DuchonPsiDirection
impl RefUnwindSafe for DuchonPsiDirection
impl Send for DuchonPsiDirection
impl Sync for DuchonPsiDirection
impl Unpin for DuchonPsiDirection
impl UnsafeUnpin for DuchonPsiDirection
impl UnwindSafe for DuchonPsiDirection
Blanket Implementations§
impl<T> Allocation for T
impl<T> Boilerplate for T
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T> DistributionExt for Twhere
T: ?Sized,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
impl<T, U> Imply<T> for U
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
impl<T> Scalar for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self to the equivalent element of its superset.