Module specialized 

The complex math trait family.

Thermite’s math families (CoreMath, TranscendentalMath, SpatialMath, RealMath) are all Self -> Self, a real vector having nothing else to return. A complex number does: its modulus and argument are real, and its polar form is a pair of reals. Those operations get their own family here, built the way the core ones are:

• ComplexVector carries the structure: the associated real type Real, the component accessors, and the operations that take no Policy (conj, norm_sqr, inv, norm_l1).
• SpecializedComplexMath carries the algorithms, mirroring thermite::math::specialized.
• ComplexMathWithPolicy and ComplexMath are generated from it by decl_complex_math! (a copy of core’s decl_math!), giving each operation a foo_p::<P>() and a default-policy foo() form.

So z.norm_p::<Precision>() behaves as x.sin_p::<Precision>() does, and generic code bounds on V: ComplexMath as it would on V: TranscendentalMath.

Re-exports

pub use crate::math::special::SpecializedComplexSpecialMath;special

Traits

ComplexVector

A vector of complex numbers over a real vector type.

SpecializedComplexMath

Element-parameterized implementations behind ComplexMath.