pub trait Mul<Rhs = Self> {
type Output;
// Required method
fn mul(self, rhs: Rhs) -> Self::Output;
}
Expand description
The multiplication operator *
.
Note that Rhs
is Self
by default, but this is not mandatory.
§Examples
§Mul
tipliable rational numbers
use std::ops::Mul;
// By the fundamental theorem of arithmetic, rational numbers in lowest
// terms are unique. So, by keeping `Rational`s in reduced form, we can
// derive `Eq` and `PartialEq`.
#[derive(Debug, Eq, PartialEq)]
struct Rational {
numerator: usize,
denominator: usize,
}
impl Rational {
fn new(numerator: usize, denominator: usize) -> Self {
if denominator == 0 {
panic!("Zero is an invalid denominator!");
}
// Reduce to lowest terms by dividing by the greatest common
// divisor.
let gcd = gcd(numerator, denominator);
Self {
numerator: numerator / gcd,
denominator: denominator / gcd,
}
}
}
impl Mul for Rational {
// The multiplication of rational numbers is a closed operation.
type Output = Self;
fn mul(self, rhs: Self) -> Self {
let numerator = self.numerator * rhs.numerator;
let denominator = self.denominator * rhs.denominator;
Self::new(numerator, denominator)
}
}
// Euclid's two-thousand-year-old algorithm for finding the greatest common
// divisor.
fn gcd(x: usize, y: usize) -> usize {
let mut x = x;
let mut y = y;
while y != 0 {
let t = y;
y = x % y;
x = t;
}
x
}
assert_eq!(Rational::new(1, 2), Rational::new(2, 4));
assert_eq!(Rational::new(2, 3) * Rational::new(3, 4),
Rational::new(1, 2));
§Multiplying vectors by scalars as in linear algebra
use std::ops::Mul;
struct Scalar { value: usize }
#[derive(Debug, PartialEq)]
struct Vector { value: Vec<usize> }
impl Mul<Scalar> for Vector {
type Output = Self;
fn mul(self, rhs: Scalar) -> Self::Output {
Self { value: self.value.iter().map(|v| v * rhs.value).collect() }
}
}
let vector = Vector { value: vec![2, 4, 6] };
let scalar = Scalar { value: 3 };
assert_eq!(vector * scalar, Vector { value: vec![6, 12, 18] });
Required Associated Types§
Required Methods§
Implementors§
1.74.0 · source§impl Mul for Saturating<i8>
impl Mul for Saturating<i8>
type Output = Saturating<i8>
1.74.0 · source§impl Mul for Saturating<i16>
impl Mul for Saturating<i16>
type Output = Saturating<i16>
1.74.0 · source§impl Mul for Saturating<i32>
impl Mul for Saturating<i32>
type Output = Saturating<i32>
1.74.0 · source§impl Mul for Saturating<i64>
impl Mul for Saturating<i64>
type Output = Saturating<i64>
1.74.0 · source§impl Mul for Saturating<i128>
impl Mul for Saturating<i128>
type Output = Saturating<i128>
1.74.0 · source§impl Mul for Saturating<isize>
impl Mul for Saturating<isize>
type Output = Saturating<isize>
1.74.0 · source§impl Mul for Saturating<u8>
impl Mul for Saturating<u8>
type Output = Saturating<u8>
1.74.0 · source§impl Mul for Saturating<u16>
impl Mul for Saturating<u16>
type Output = Saturating<u16>
1.74.0 · source§impl Mul for Saturating<u32>
impl Mul for Saturating<u32>
type Output = Saturating<u32>
1.74.0 · source§impl Mul for Saturating<u64>
impl Mul for Saturating<u64>
type Output = Saturating<u64>
1.74.0 · source§impl Mul for Saturating<u128>
impl Mul for Saturating<u128>
type Output = Saturating<u128>
1.74.0 · source§impl Mul for Saturating<usize>
impl Mul for Saturating<usize>
type Output = Saturating<usize>
source§impl Mul for starknet_ff::FieldElement
impl Mul for starknet_ff::FieldElement
type Output = FieldElement
1.74.0 · source§impl Mul<&Saturating<i8>> for &Saturating<i8>
impl Mul<&Saturating<i8>> for &Saturating<i8>
1.74.0 · source§impl Mul<&Saturating<i8>> for Saturating<i8>
impl Mul<&Saturating<i8>> for Saturating<i8>
1.74.0 · source§impl Mul<&Saturating<i16>> for &Saturating<i16>
impl Mul<&Saturating<i16>> for &Saturating<i16>
1.74.0 · source§impl Mul<&Saturating<i16>> for Saturating<i16>
impl Mul<&Saturating<i16>> for Saturating<i16>
1.74.0 · source§impl Mul<&Saturating<i32>> for &Saturating<i32>
impl Mul<&Saturating<i32>> for &Saturating<i32>
1.74.0 · source§impl Mul<&Saturating<i32>> for Saturating<i32>
impl Mul<&Saturating<i32>> for Saturating<i32>
1.74.0 · source§impl Mul<&Saturating<i64>> for &Saturating<i64>
impl Mul<&Saturating<i64>> for &Saturating<i64>
1.74.0 · source§impl Mul<&Saturating<i64>> for Saturating<i64>
impl Mul<&Saturating<i64>> for Saturating<i64>
1.74.0 · source§impl Mul<&Saturating<i128>> for &Saturating<i128>
impl Mul<&Saturating<i128>> for &Saturating<i128>
1.74.0 · source§impl Mul<&Saturating<i128>> for Saturating<i128>
impl Mul<&Saturating<i128>> for Saturating<i128>
1.74.0 · source§impl Mul<&Saturating<isize>> for &Saturating<isize>
impl Mul<&Saturating<isize>> for &Saturating<isize>
1.74.0 · source§impl Mul<&Saturating<isize>> for Saturating<isize>
impl Mul<&Saturating<isize>> for Saturating<isize>
1.74.0 · source§impl Mul<&Saturating<u8>> for &Saturating<u8>
impl Mul<&Saturating<u8>> for &Saturating<u8>
1.74.0 · source§impl Mul<&Saturating<u8>> for Saturating<u8>
impl Mul<&Saturating<u8>> for Saturating<u8>
1.74.0 · source§impl Mul<&Saturating<u16>> for &Saturating<u16>
impl Mul<&Saturating<u16>> for &Saturating<u16>
1.74.0 · source§impl Mul<&Saturating<u16>> for Saturating<u16>
impl Mul<&Saturating<u16>> for Saturating<u16>
1.74.0 · source§impl Mul<&Saturating<u32>> for &Saturating<u32>
impl Mul<&Saturating<u32>> for &Saturating<u32>
1.74.0 · source§impl Mul<&Saturating<u32>> for Saturating<u32>
impl Mul<&Saturating<u32>> for Saturating<u32>
1.74.0 · source§impl Mul<&Saturating<u64>> for &Saturating<u64>
impl Mul<&Saturating<u64>> for &Saturating<u64>
1.74.0 · source§impl Mul<&Saturating<u64>> for Saturating<u64>
impl Mul<&Saturating<u64>> for Saturating<u64>
1.74.0 · source§impl Mul<&Saturating<u128>> for &Saturating<u128>
impl Mul<&Saturating<u128>> for &Saturating<u128>
1.74.0 · source§impl Mul<&Saturating<u128>> for Saturating<u128>
impl Mul<&Saturating<u128>> for Saturating<u128>
1.74.0 · source§impl Mul<&Saturating<usize>> for &Saturating<usize>
impl Mul<&Saturating<usize>> for &Saturating<usize>
1.74.0 · source§impl Mul<&Saturating<usize>> for Saturating<usize>
impl Mul<&Saturating<usize>> for Saturating<usize>
source§impl Mul<&[bool]> for &AffinePoint
impl Mul<&[bool]> for &AffinePoint
type Output = AffinePoint
source§impl Mul<&[bool]> for &starknet_curve::ec_point::ProjectivePoint
impl Mul<&[bool]> for &starknet_curve::ec_point::ProjectivePoint
type Output = ProjectivePoint
source§impl Mul<usize> for &ExecutionResources
impl Mul<usize> for &ExecutionResources
type Output = ExecutionResources
source§impl Mul<Felt> for &starknet_types_core::curve::projective_point::ProjectivePoint
impl Mul<Felt> for &starknet_types_core::curve::projective_point::ProjectivePoint
type Output = ProjectivePoint
1.74.0 · source§impl<'a> Mul<Saturating<i8>> for &'a Saturating<i8>
impl<'a> Mul<Saturating<i8>> for &'a Saturating<i8>
1.74.0 · source§impl<'a> Mul<Saturating<i16>> for &'a Saturating<i16>
impl<'a> Mul<Saturating<i16>> for &'a Saturating<i16>
1.74.0 · source§impl<'a> Mul<Saturating<i32>> for &'a Saturating<i32>
impl<'a> Mul<Saturating<i32>> for &'a Saturating<i32>
1.74.0 · source§impl<'a> Mul<Saturating<i64>> for &'a Saturating<i64>
impl<'a> Mul<Saturating<i64>> for &'a Saturating<i64>
1.74.0 · source§impl<'a> Mul<Saturating<i128>> for &'a Saturating<i128>
impl<'a> Mul<Saturating<i128>> for &'a Saturating<i128>
1.74.0 · source§impl<'a> Mul<Saturating<isize>> for &'a Saturating<isize>
impl<'a> Mul<Saturating<isize>> for &'a Saturating<isize>
1.74.0 · source§impl<'a> Mul<Saturating<u8>> for &'a Saturating<u8>
impl<'a> Mul<Saturating<u8>> for &'a Saturating<u8>
1.74.0 · source§impl<'a> Mul<Saturating<u16>> for &'a Saturating<u16>
impl<'a> Mul<Saturating<u16>> for &'a Saturating<u16>
1.74.0 · source§impl<'a> Mul<Saturating<u32>> for &'a Saturating<u32>
impl<'a> Mul<Saturating<u32>> for &'a Saturating<u32>
1.74.0 · source§impl<'a> Mul<Saturating<u64>> for &'a Saturating<u64>
impl<'a> Mul<Saturating<u64>> for &'a Saturating<u64>
1.74.0 · source§impl<'a> Mul<Saturating<u128>> for &'a Saturating<u128>
impl<'a> Mul<Saturating<u128>> for &'a Saturating<u128>
1.74.0 · source§impl<'a> Mul<Saturating<usize>> for &'a Saturating<usize>
impl<'a> Mul<Saturating<usize>> for &'a Saturating<usize>
source§impl<'a, 'b, P> Mul<&'a CubicExtField<P>> for &'b CubicExtField<P>where
P: CubicExtConfig,
impl<'a, 'b, P> Mul<&'a CubicExtField<P>> for &'b CubicExtField<P>where
P: CubicExtConfig,
type Output = CubicExtField<P>
source§impl<'a, 'b, P> Mul<&'a QuadExtField<P>> for &'b QuadExtField<P>where
P: QuadExtConfig,
impl<'a, 'b, P> Mul<&'a QuadExtField<P>> for &'b QuadExtField<P>where
P: QuadExtConfig,
type Output = QuadExtField<P>
source§impl<'a, 'b, P> Mul<&'a mut CubicExtField<P>> for &'b CubicExtField<P>where
P: CubicExtConfig,
impl<'a, 'b, P> Mul<&'a mut CubicExtField<P>> for &'b CubicExtField<P>where
P: CubicExtConfig,
type Output = CubicExtField<P>
source§impl<'a, 'b, P> Mul<&'a mut QuadExtField<P>> for &'b QuadExtField<P>where
P: QuadExtConfig,
impl<'a, 'b, P> Mul<&'a mut QuadExtField<P>> for &'b QuadExtField<P>where
P: QuadExtConfig,
type Output = QuadExtField<P>
source§impl<'a, P> Mul<&'a CubicExtField<P>> for CubicExtField<P>where
P: CubicExtConfig,
impl<'a, P> Mul<&'a CubicExtField<P>> for CubicExtField<P>where
P: CubicExtConfig,
type Output = CubicExtField<P>
source§impl<'a, P> Mul<&'a QuadExtField<P>> for QuadExtField<P>where
P: QuadExtConfig,
impl<'a, P> Mul<&'a QuadExtField<P>> for QuadExtField<P>where
P: QuadExtConfig,
type Output = QuadExtField<P>
source§impl<'a, P> Mul<&'a mut CubicExtField<P>> for CubicExtField<P>where
P: CubicExtConfig,
impl<'a, P> Mul<&'a mut CubicExtField<P>> for CubicExtField<P>where
P: CubicExtConfig,
type Output = CubicExtField<P>
source§impl<'a, P> Mul<&'a mut QuadExtField<P>> for QuadExtField<P>where
P: QuadExtConfig,
impl<'a, P> Mul<&'a mut QuadExtField<P>> for QuadExtField<P>where
P: QuadExtConfig,
type Output = QuadExtField<P>
source§impl<'b, P> Mul<CubicExtField<P>> for &'b CubicExtField<P>where
P: CubicExtConfig,
impl<'b, P> Mul<CubicExtField<P>> for &'b CubicExtField<P>where
P: CubicExtConfig,
type Output = CubicExtField<P>
source§impl<'b, P> Mul<QuadExtField<P>> for &'b QuadExtField<P>where
P: QuadExtConfig,
impl<'b, P> Mul<QuadExtField<P>> for &'b QuadExtField<P>where
P: QuadExtConfig,
type Output = QuadExtField<P>
source§impl<F> Mul for Polynomial<FieldElement<F>>where
F: IsField,
impl<F> Mul for Polynomial<FieldElement<F>>where
F: IsField,
type Output = Polynomial<FieldElement<F>>
source§impl<F> Mul<&FieldElement<F>> for DenseMultilinearPolynomial<F>
impl<F> Mul<&FieldElement<F>> for DenseMultilinearPolynomial<F>
type Output = DenseMultilinearPolynomial<F>
source§impl<F> Mul<&Polynomial<FieldElement<F>>> for &Polynomial<FieldElement<F>>where
F: IsField,
impl<F> Mul<&Polynomial<FieldElement<F>>> for &Polynomial<FieldElement<F>>where
F: IsField,
type Output = Polynomial<FieldElement<F>>
source§impl<F> Mul<&Polynomial<FieldElement<F>>> for Polynomial<FieldElement<F>>where
F: IsField,
impl<F> Mul<&Polynomial<FieldElement<F>>> for Polynomial<FieldElement<F>>where
F: IsField,
type Output = Polynomial<FieldElement<F>>
source§impl<F> Mul<FieldElement<F>> for DenseMultilinearPolynomial<F>
impl<F> Mul<FieldElement<F>> for DenseMultilinearPolynomial<F>
type Output = DenseMultilinearPolynomial<F>
source§impl<F> Mul<Polynomial<FieldElement<F>>> for &Polynomial<FieldElement<F>>where
F: IsField,
impl<F> Mul<Polynomial<FieldElement<F>>> for &Polynomial<FieldElement<F>>where
F: IsField,
type Output = Polynomial<FieldElement<F>>
source§impl<F, L> Mul<&FieldElement<F>> for &Polynomial<FieldElement<L>>where
L: IsField,
F: IsSubFieldOf<L>,
impl<F, L> Mul<&FieldElement<F>> for &Polynomial<FieldElement<L>>where
L: IsField,
F: IsSubFieldOf<L>,
type Output = Polynomial<FieldElement<L>>
source§impl<F, L> Mul<&FieldElement<F>> for Polynomial<FieldElement<L>>where
L: IsField,
F: IsSubFieldOf<L>,
impl<F, L> Mul<&FieldElement<F>> for Polynomial<FieldElement<L>>where
L: IsField,
F: IsSubFieldOf<L>,
type Output = Polynomial<FieldElement<L>>
source§impl<F, L> Mul<&FieldElement<L>> for &lambdaworks_math::field::element::FieldElement<F>where
F: IsSubFieldOf<L>,
L: IsField,
impl<F, L> Mul<&FieldElement<L>> for &lambdaworks_math::field::element::FieldElement<F>where
F: IsSubFieldOf<L>,
L: IsField,
Multiplication operator overloading for field elements*/
type Output = FieldElement<L>
source§impl<F, L> Mul<&FieldElement<L>> for lambdaworks_math::field::element::FieldElement<F>where
F: IsSubFieldOf<L>,
L: IsField,
impl<F, L> Mul<&FieldElement<L>> for lambdaworks_math::field::element::FieldElement<F>where
F: IsSubFieldOf<L>,
L: IsField,
type Output = FieldElement<L>
source§impl<F, L> Mul<&Polynomial<FieldElement<L>>> for &lambdaworks_math::field::element::FieldElement<F>where
L: IsField,
F: IsSubFieldOf<L>,
impl<F, L> Mul<&Polynomial<FieldElement<L>>> for &lambdaworks_math::field::element::FieldElement<F>where
L: IsField,
F: IsSubFieldOf<L>,
type Output = Polynomial<FieldElement<L>>
source§impl<F, L> Mul<&Polynomial<FieldElement<L>>> for lambdaworks_math::field::element::FieldElement<F>where
L: IsField,
F: IsSubFieldOf<L>,
impl<F, L> Mul<&Polynomial<FieldElement<L>>> for lambdaworks_math::field::element::FieldElement<F>where
L: IsField,
F: IsSubFieldOf<L>,
type Output = Polynomial<FieldElement<L>>
source§impl<F, L> Mul<FieldElement<F>> for &Polynomial<FieldElement<L>>where
L: IsField,
F: IsSubFieldOf<L>,
impl<F, L> Mul<FieldElement<F>> for &Polynomial<FieldElement<L>>where
L: IsField,
F: IsSubFieldOf<L>,
type Output = Polynomial<FieldElement<L>>
source§impl<F, L> Mul<FieldElement<F>> for Polynomial<FieldElement<L>>where
L: IsField,
F: IsSubFieldOf<L>,
impl<F, L> Mul<FieldElement<F>> for Polynomial<FieldElement<L>>where
L: IsField,
F: IsSubFieldOf<L>,
type Output = Polynomial<FieldElement<L>>
source§impl<F, L> Mul<FieldElement<L>> for &lambdaworks_math::field::element::FieldElement<F>where
F: IsSubFieldOf<L>,
L: IsField,
impl<F, L> Mul<FieldElement<L>> for &lambdaworks_math::field::element::FieldElement<F>where
F: IsSubFieldOf<L>,
L: IsField,
type Output = FieldElement<L>
source§impl<F, L> Mul<FieldElement<L>> for lambdaworks_math::field::element::FieldElement<F>where
F: IsSubFieldOf<L>,
L: IsField,
impl<F, L> Mul<FieldElement<L>> for lambdaworks_math::field::element::FieldElement<F>where
F: IsSubFieldOf<L>,
L: IsField,
type Output = FieldElement<L>
source§impl<F, L> Mul<Polynomial<FieldElement<L>>> for &lambdaworks_math::field::element::FieldElement<F>where
L: IsField,
F: IsSubFieldOf<L>,
impl<F, L> Mul<Polynomial<FieldElement<L>>> for &lambdaworks_math::field::element::FieldElement<F>where
L: IsField,
F: IsSubFieldOf<L>,
type Output = Polynomial<FieldElement<L>>
source§impl<F, L> Mul<Polynomial<FieldElement<L>>> for lambdaworks_math::field::element::FieldElement<F>where
L: IsField,
F: IsSubFieldOf<L>,
impl<F, L> Mul<Polynomial<FieldElement<L>>> for lambdaworks_math::field::element::FieldElement<F>where
L: IsField,
F: IsSubFieldOf<L>,
type Output = Polynomial<FieldElement<L>>
source§impl<MOD, const LIMBS: usize> Mul<&Residue<MOD, LIMBS>> for &Residue<MOD, LIMBS>where
MOD: ResidueParams<LIMBS>,
impl<MOD, const LIMBS: usize> Mul<&Residue<MOD, LIMBS>> for &Residue<MOD, LIMBS>where
MOD: ResidueParams<LIMBS>,
source§impl<MOD, const LIMBS: usize> Mul<&Residue<MOD, LIMBS>> for Residue<MOD, LIMBS>where
MOD: ResidueParams<LIMBS>,
impl<MOD, const LIMBS: usize> Mul<&Residue<MOD, LIMBS>> for Residue<MOD, LIMBS>where
MOD: ResidueParams<LIMBS>,
source§impl<MOD, const LIMBS: usize> Mul<Residue<MOD, LIMBS>> for &Residue<MOD, LIMBS>where
MOD: ResidueParams<LIMBS>,
impl<MOD, const LIMBS: usize> Mul<Residue<MOD, LIMBS>> for &Residue<MOD, LIMBS>where
MOD: ResidueParams<LIMBS>,
source§impl<P> Mul for CubicExtField<P>where
P: CubicExtConfig,
impl<P> Mul for CubicExtField<P>where
P: CubicExtConfig,
type Output = CubicExtField<P>
source§impl<P> Mul for QuadExtField<P>where
P: QuadExtConfig,
impl<P> Mul for QuadExtField<P>where
P: QuadExtConfig,
type Output = QuadExtField<P>
source§impl<T> Mul<T> for &starknet_types_core::curve::projective_point::ProjectivePointwhere
T: IsUnsignedInteger,
impl<T> Mul<T> for &starknet_types_core::curve::projective_point::ProjectivePointwhere
T: IsUnsignedInteger,
type Output = ProjectivePoint
source§impl<T, R> Mul for ReducedInt<T, R>
impl<T, R> Mul for ReducedInt<T, R>
type Output = ReducedInt<T, R>
source§impl<T, R> Mul<&ReducedInt<T, R>> for &ReducedInt<T, R>
impl<T, R> Mul<&ReducedInt<T, R>> for &ReducedInt<T, R>
type Output = ReducedInt<T, R>
source§impl<T, R> Mul<&ReducedInt<T, R>> for ReducedInt<T, R>
impl<T, R> Mul<&ReducedInt<T, R>> for ReducedInt<T, R>
type Output = ReducedInt<T, R>
source§impl<T, R> Mul<ReducedInt<T, R>> for &ReducedInt<T, R>
impl<T, R> Mul<ReducedInt<T, R>> for &ReducedInt<T, R>
type Output = ReducedInt<T, R>
source§impl<T, R> Mul<T> for ReducedInt<T, R>
impl<T, R> Mul<T> for ReducedInt<T, R>
type Output = ReducedInt<T, R>
source§impl<Ul, B, Ur> Mul<UInt<Ur, B>> for UInt<Ul, B0>
impl<Ul, B, Ur> Mul<UInt<Ur, B>> for UInt<Ul, B0>
UInt<Ul, B0> * UInt<Ur, B> = UInt<(Ul * UInt<Ur, B>), B0>
source§impl<Ul, B, Ur> Mul<UInt<Ur, B>> for UInt<Ul, B1>
impl<Ul, B, Ur> Mul<UInt<Ur, B>> for UInt<Ul, B1>
UInt<Ul, B1> * UInt<Ur, B> = UInt<(Ul * UInt<Ur, B>), B0> + UInt<Ur, B>
source§impl<const LIMBS: usize> Mul for DynResidue<LIMBS>
impl<const LIMBS: usize> Mul for DynResidue<LIMBS>
type Output = DynResidue<LIMBS>
source§impl<const LIMBS: usize> Mul<&DynResidue<LIMBS>> for &DynResidue<LIMBS>
impl<const LIMBS: usize> Mul<&DynResidue<LIMBS>> for &DynResidue<LIMBS>
type Output = DynResidue<LIMBS>
source§impl<const LIMBS: usize> Mul<&DynResidue<LIMBS>> for DynResidue<LIMBS>
impl<const LIMBS: usize> Mul<&DynResidue<LIMBS>> for DynResidue<LIMBS>
type Output = DynResidue<LIMBS>
source§impl<const LIMBS: usize> Mul<DynResidue<LIMBS>> for &DynResidue<LIMBS>
impl<const LIMBS: usize> Mul<DynResidue<LIMBS>> for &DynResidue<LIMBS>
type Output = DynResidue<LIMBS>
source§impl<const LIMBS: usize, const HLIMBS: usize> Mul<&Checked<Uint<HLIMBS>>> for &Checked<Uint<LIMBS>>
impl<const LIMBS: usize, const HLIMBS: usize> Mul<&Checked<Uint<HLIMBS>>> for &Checked<Uint<LIMBS>>
source§impl<const LIMBS: usize, const HLIMBS: usize> Mul<&Checked<Uint<HLIMBS>>> for Checked<Uint<LIMBS>>
impl<const LIMBS: usize, const HLIMBS: usize> Mul<&Checked<Uint<HLIMBS>>> for Checked<Uint<LIMBS>>
source§impl<const LIMBS: usize, const HLIMBS: usize> Mul<&Uint<HLIMBS>> for &Uint<LIMBS>
impl<const LIMBS: usize, const HLIMBS: usize> Mul<&Uint<HLIMBS>> for &Uint<LIMBS>
type Output = <Uint<HLIMBS> as ConcatMixed<Uint<LIMBS>>>::MixedOutput
source§impl<const LIMBS: usize, const HLIMBS: usize> Mul<&Uint<HLIMBS>> for Uint<LIMBS>
impl<const LIMBS: usize, const HLIMBS: usize> Mul<&Uint<HLIMBS>> for Uint<LIMBS>
type Output = <Uint<HLIMBS> as ConcatMixed<Uint<LIMBS>>>::MixedOutput
source§impl<const LIMBS: usize, const HLIMBS: usize> Mul<&Wrapping<Uint<HLIMBS>>> for &crypto_bigint::wrapping::Wrapping<Uint<LIMBS>>
impl<const LIMBS: usize, const HLIMBS: usize> Mul<&Wrapping<Uint<HLIMBS>>> for &crypto_bigint::wrapping::Wrapping<Uint<LIMBS>>
source§impl<const LIMBS: usize, const HLIMBS: usize> Mul<&Wrapping<Uint<HLIMBS>>> for crypto_bigint::wrapping::Wrapping<Uint<LIMBS>>
impl<const LIMBS: usize, const HLIMBS: usize> Mul<&Wrapping<Uint<HLIMBS>>> for crypto_bigint::wrapping::Wrapping<Uint<LIMBS>>
source§impl<const LIMBS: usize, const HLIMBS: usize> Mul<Checked<Uint<HLIMBS>>> for &Checked<Uint<LIMBS>>
impl<const LIMBS: usize, const HLIMBS: usize> Mul<Checked<Uint<HLIMBS>>> for &Checked<Uint<LIMBS>>
source§impl<const LIMBS: usize, const HLIMBS: usize> Mul<Checked<Uint<HLIMBS>>> for Checked<Uint<LIMBS>>
impl<const LIMBS: usize, const HLIMBS: usize> Mul<Checked<Uint<HLIMBS>>> for Checked<Uint<LIMBS>>
source§impl<const LIMBS: usize, const HLIMBS: usize> Mul<Uint<HLIMBS>> for &Uint<LIMBS>
impl<const LIMBS: usize, const HLIMBS: usize> Mul<Uint<HLIMBS>> for &Uint<LIMBS>
type Output = <Uint<HLIMBS> as ConcatMixed<Uint<LIMBS>>>::MixedOutput
source§impl<const LIMBS: usize, const HLIMBS: usize> Mul<Uint<HLIMBS>> for Uint<LIMBS>
impl<const LIMBS: usize, const HLIMBS: usize> Mul<Uint<HLIMBS>> for Uint<LIMBS>
type Output = <Uint<HLIMBS> as ConcatMixed<Uint<LIMBS>>>::MixedOutput
source§impl<const LIMBS: usize, const HLIMBS: usize> Mul<Wrapping<Uint<HLIMBS>>> for &crypto_bigint::wrapping::Wrapping<Uint<LIMBS>>
impl<const LIMBS: usize, const HLIMBS: usize> Mul<Wrapping<Uint<HLIMBS>>> for &crypto_bigint::wrapping::Wrapping<Uint<LIMBS>>
source§impl<const LIMBS: usize, const HLIMBS: usize> Mul<Wrapping<Uint<HLIMBS>>> for crypto_bigint::wrapping::Wrapping<Uint<LIMBS>>
impl<const LIMBS: usize, const HLIMBS: usize> Mul<Wrapping<Uint<HLIMBS>>> for crypto_bigint::wrapping::Wrapping<Uint<LIMBS>>
source§impl<const NUM_LIMBS: usize> Mul for UnsignedInteger<NUM_LIMBS>
impl<const NUM_LIMBS: usize> Mul for UnsignedInteger<NUM_LIMBS>
type Output = UnsignedInteger<NUM_LIMBS>
source§impl<const NUM_LIMBS: usize> Mul<&UnsignedInteger<NUM_LIMBS>> for &UnsignedInteger<NUM_LIMBS>
impl<const NUM_LIMBS: usize> Mul<&UnsignedInteger<NUM_LIMBS>> for &UnsignedInteger<NUM_LIMBS>
Multi-precision multiplication. Algorithm 14.12 of “Handbook of Applied Cryptography” (https://cacr.uwaterloo.ca/hac/)