Trait num::traits::MulAdd

[+] Show declaration

pub trait MulAdd<A = Self, B = Self> {
    type Output;
    fn mul_add(self, a: A, b: B) -> Self::Output;
}

[−] Expand description

Fused multiply-add. Computes (self * a) + b with only one rounding error, yielding a more accurate result than an unfused multiply-add.

Using mul_add can be more performant than an unfused multiply-add if the target architecture has a dedicated fma CPU instruction.

Note that A and B are Self by default, but this is not mandatory.

Example

use std::f32;

let m = 10.0_f32;
let x = 4.0_f32;
let b = 60.0_f32;

// 100.0
let abs_difference = (m.mul_add(x, b) - (m*x + b)).abs();

assert!(abs_difference <= 100.0 * f32::EPSILON);

Associated Types

type Output[−]

The resulting type after applying the fused multiply-add.

Required methods

fn mul_add(self, a: A, b: B) -> Self::Output[−]

Performs the fused multiply-add operation.

Implementations on Foreign Types

impl MulAdd<f64, f64> for f64[−]

[+] Show hidden undocumented items

type Output = f64

fn mul_add(self, a: f64, b: f64) -> <f64 as MulAdd<f64, f64>>::Output

impl MulAdd<i16, i16> for i16[−]

[+] Show hidden undocumented items

type Output = i16

fn mul_add(self, a: i16, b: i16) -> <i16 as MulAdd<i16, i16>>::Output

impl MulAdd<u128, u128> for u128[−]

[+] Show hidden undocumented items

type Output = u128

fn mul_add(self, a: u128, b: u128) -> <u128 as MulAdd<u128, u128>>::Output

impl MulAdd<u32, u32> for u32[−]

[+] Show hidden undocumented items

type Output = u32

fn mul_add(self, a: u32, b: u32) -> <u32 as MulAdd<u32, u32>>::Output

impl MulAdd<i8, i8> for i8[−]

[+] Show hidden undocumented items

type Output = i8

fn mul_add(self, a: i8, b: i8) -> <i8 as MulAdd<i8, i8>>::Output

impl MulAdd<u8, u8> for u8[−]

[+] Show hidden undocumented items

type Output = u8

fn mul_add(self, a: u8, b: u8) -> <u8 as MulAdd<u8, u8>>::Output

impl MulAdd<i128, i128> for i128[−]

[+] Show hidden undocumented items

type Output = i128

fn mul_add(self, a: i128, b: i128) -> <i128 as MulAdd<i128, i128>>::Output

impl MulAdd<isize, isize> for isize[−]

[+] Show hidden undocumented items

type Output = isize

fn mul_add(self, a: isize, b: isize) -> <isize as MulAdd<isize, isize>>::Output

impl MulAdd<u16, u16> for u16[−]

[+] Show hidden undocumented items

type Output = u16

fn mul_add(self, a: u16, b: u16) -> <u16 as MulAdd<u16, u16>>::Output

impl MulAdd<i32, i32> for i32[−]

[+] Show hidden undocumented items

type Output = i32

fn mul_add(self, a: i32, b: i32) -> <i32 as MulAdd<i32, i32>>::Output

impl MulAdd<u64, u64> for u64[−]

[+] Show hidden undocumented items

type Output = u64

fn mul_add(self, a: u64, b: u64) -> <u64 as MulAdd<u64, u64>>::Output

impl MulAdd<usize, usize> for usize[−]

[+] Show hidden undocumented items

type Output = usize

fn mul_add(self, a: usize, b: usize) -> <usize as MulAdd<usize, usize>>::Output

impl MulAdd<i64, i64> for i64[−]

[+] Show hidden undocumented items

type Output = i64

fn mul_add(self, a: i64, b: i64) -> <i64 as MulAdd<i64, i64>>::Output

impl MulAdd<f32, f32> for f32[−]

[+] Show hidden undocumented items

type Output = f32

fn mul_add(self, a: f32, b: f32) -> <f32 as MulAdd<f32, f32>>::Output

Implementors

impl<'a, 'b, T> MulAdd<&'b Complex<T>, &'a Complex<T>> for &'a Complex<T> where
    T: Clone + MulAdd<T, T, Output = T> + Num, [+]

[+] Show hidden undocumented items

type Output = Complex<T>

fn mul_add(self, other: &Complex<T>, add: &Complex<T>) -> Complex<T>

impl<T> MulAdd<Complex<T>, Complex<T>> for Complex<T> where
    T: Clone + MulAdd<T, T, Output = T> + Num, [+]

[+] Show hidden undocumented items

type Output = Complex<T>

fn mul_add(self, other: Complex<T>, add: Complex<T>) -> Complex<T>

impl<T: Clone + Num + MulAdd<Output = T>> MulAdd<Complex<T>, Complex<T>> for Complex<T>

impl<'a, 'b, T: Clone + Num + MulAdd<Output = T>> MulAdd<&'b Complex<T>, &'a Complex<T>> for &'a Complex<T>