Skip to main content

Crate deep_causality_num

Crate deep_causality_num 

Source

Re-exports§

pub use crate::lift::ConstScalarFromFloat;
pub use crate::lift::ConstScalarFromInt;
pub use crate::lift::Lift;
pub use crate::lift::Lower;
pub use crate::lift::lift;
pub use crate::lift::lift_count;
pub use crate::lift::lift_f32;
pub use crate::lift::lift_f64;
pub use crate::lift::lift_i8;
pub use crate::lift::lift_i16;
pub use crate::lift::lift_i32;
pub use crate::lift::lift_i64;
pub use crate::lift::lift_i128;
pub use crate::lift::lift_isize;
pub use crate::lift::lift_u8;
pub use crate::lift::lift_u16;
pub use crate::lift::lift_u32;
pub use crate::lift::lift_u64;
pub use crate::lift::lift_u128;
pub use crate::lift::lift_usize;
pub use crate::lift::lower;
pub use crate::lift::lower_f32;
pub use crate::lift::to_count;
pub use crate::lift::try_lift;
pub use crate::lift::try_lift_count;
pub use crate::lift::try_lift_f32;
pub use crate::lift::try_lift_f64;
pub use crate::lift::try_lift_i8;
pub use crate::lift::try_lift_i16;
pub use crate::lift::try_lift_i32;
pub use crate::lift::try_lift_i64;
pub use crate::lift::try_lift_i128;
pub use crate::lift::try_lift_isize;
pub use crate::lift::try_lift_u8;
pub use crate::lift::try_lift_u16;
pub use crate::lift::try_lift_u32;
pub use crate::lift::try_lift_u64;
pub use crate::lift::try_lift_u128;
pub use crate::lift::try_lift_usize;
pub use crate::lift::try_lower;
pub use crate::lift::try_lower_f32;

Modules§

lift
Lifting and lowering at the precision boundary.

Macros§

const_scalar_from_float
A decimal literal as a const of the working type.
const_scalar_from_int
A whole number as a const of the working type.

Structs§

BFloat16
A 16-bit brain floating-point number: sign, 8 exponent bits, 7 stored significand bits.
Float106
A high-precision 106bit floating point number represented as the sum of two f64s.
Gf2
An element of 𝔽₂, the field with two elements.

Traits§

AsPrimitive
A generic interface for casting between machine scalars with the as operator, which admits narrowing and precision loss. Implementers of this trait AsPrimitive should behave like a primitive numeric type (e.g. a newtype around another primitive), and the intended conversion must never fail.
ConstOne
Defines an associated constant representing the multiplicative identity element for Self.
ConstZero
Defines an associated constant representing the additive identity element for Self.
Float
Float requires the in-place arithmetic operators (+=, -=, *=, /=) in addition to the by-value ones from Num. Every real floating-point type supports them, and they let the algebra tower derive AddMonoid/Field/Real/… for any T: Float — so a new float type implements Float and inherits the whole tower through the blanket impls (impl<T: Float> Real for T, etc.).
FloatAsScalar
FloatFromInt
FromPrimitive
A generic trait for converting a number to a value.
IntAsScalar
Integer
A trait for primitive integer types.
IntoFloat
NaturalNumber
The natural numbers ℕ = {0, 1, 2, …}.
Num
The base trait for numeric types, covering 0 and 1 values, comparisons, basic numeric operations, and string conversion.
NumAssign
The trait for Num types which also implement assignment operators.
NumAssignOps
Generic trait for types implementing numeric assignment operators (like +=).
NumAssignRef
The trait for NumAssign types which also implement assignment operations taking the second operand by reference.
NumCast
An interface for casting between machine scalars.
NumOps
Generic trait for types implementing basic numeric operations
NumRef
The trait for Num types which also implement numeric operations taking the second operand by reference.
One
Defines a multiplicative identity element for Self.
RefNum
The trait for Num references which implement numeric operations, taking the second operand either by value or by reference.
SignedInt
A trait for signed integer types.
ToPrimitive
UnsignedInt
A trait for unsigned integer types.
Zero
Defines an additive identity element for Self.

Functions§

stirling_first_unsigned
Unsigned Stirling numbers of the first kind, c(n, k).
stirling_second
Stirling numbers of the second kind, S(n, k).

Type Aliases§

Matrix3
Vector3