Module malachite_nz::natural::arithmetic
source · Expand description
Traits for arithmetic.
Modules§
- Addition of
Naturals. - Implementations of
AddMulandAddMulAssign, traits for adding a number and the product of two other numbers. - Implementations of
BinomialCoefficient, a trait for computing the binomial coefficient of two numbers. - Implementations of
CheckedSub, a trait for subtracting two numbers and checking whether the result is representable. - Implementations of
CheckedSubMul, a trait for subtracting the product of two numbers from another number, and checking whether the result is representable. - Implementations of
CoprimeWith, a trait for determining whether two numbers are coprime. - Division of
Naturals. - Implementations of
DivExactandDivExactAssign, traits for dividing two numbers when it’s known that the division is exact. - Implementations of raits for simultaneously finding the quotient and remainder of two numbers, subject to various rounding rules.
- Implementations of
DivRoundandDivExactAssign, traits for dividing two numbers according to a specifiedRoundingMode. - Implementations of
DivisibleBy, a trait for determining whether one number is divisible by another. - Implementations of
DivisibleByPowerOf2, a trait for determining whether a number is divisible by $2^k$. - Implementations of
EqMod, a trait for determining whether one number is equal by another modulo a third. - Implementations of
EqModPowerOf2, a trait for determining whether one number is equal to another modulo $2^k$. - Implementations of
IsPowerOf2, a trait for determining whether a number is an integer power of 2. - Implementations of
LegendreSymbol,JacobiSymbol, andKroneckerSymbol, traits for computing the Legendre, Jacobi, and Kronecker symbols of two numbers. - Implementations of
Lcm,LcmAssign, andCheckedLcm, traits for computing the LCM (least common multiple) of two numbers. - Implementations of traits for taking the base-$b$ logarithm of a number.
- Implementations of traits for taking the base-2 logarithm of a number.
- Implementations of traits for taking the base-$2^k$ logarithm of a number.
- Implementations of
ModAddandModAddAssign, traits for adding two numbers modulo another number. - Implementations of
ModInverse, a trait for finding the multiplicative inverse of a number modulo another number. - Implementations of
ModIsReduced, a trait for checking whether a number is reduced modulo another number. - Implementations of traits for multiplying two numbers modulo another number.
- Implementations of
ModNegandModNegAssign, traits for negating a number modulo another number. - Implementations of traits for finding the remainder of two numbers, subject to various rounding rules.
- Implementations of traits for raising a number to a power modulo another number.
- Implementations of traits for finding the remainder of a number divided by $2^k$, subject to various rounding rules.
- Implementations of
ModPowerOf2AddandModPowerOf2AddAssign, traits for adding two numbers modulo $2^k$. - Implementations of
ModPowerOf2Inverse, a trait for finding the multiplicative inverse of a number modulo $2^k$. - Implementations of
ModPowerOf2IsReduced, a trait for checking whether a number is reduced modulo $2^k$. - Implementations of
ModPowerOf2MulandModPowerOf2MulAssign, traits for multiplying two numbers modulo $2^k$. - Implementations of
ModPowerOf2NegandModPowerOf2NegAssign, traits for negating a number modulo $2^k$. - Implementations of
ModPowerOf2PowandModPowerOf2PowAssign, traits for raising a number to a power modulo $2^k$. - Implementations of
ModPowerOf2ShlandModPowerOf2ShlAssign, traits for left-shifting a number modulo $2^k$. - Implementations of
ModPowerOf2ShrandModPowerOf2ShrAssign, traits for right-shifting a number modulo $2^k$. - Implementations of
ModPowerOf2Square](malachite_base::num::arithmetic::traits::ModPowerOf2Square) andModPowerOf2SquareAssign, traits for squaring a number modulo $2^k$. - Implementations of
ModPowerOf2SubandModPowerOf2SubAssign, traits for subtracting one number by another modulo $2^k$. - Implementations of
ModShlandModShlAssign, traits for left-shifting a number modulo another number. - Implementations of
ModShrandModShrAssign, traits for right-shifting a number modulo another number. - Implementations of traits for squaring a number modulo another number.
- Implementations of
ModSubandModSubAssign, traits for subtracting two numbers modulo another number. - Multiplication of
Naturals. - Implementations of
NextPowerOf2andNextPowerOf2Assign, traits for getting the next-highest power of 2. - Implementations of
Parity, a trait for determining whether a number is even or odd. - Implementations of
PowerOf2, a trait for computing a power of 2. - An implementation of
Primorial, a trait for computing the primorial of a number. - Implementations of traits for taking the $n$th root of a number.
- Implementations of
RoundToMultipleandRoundToMultipleAssign, traits for rounding a number to a multiple of another number. - Implementations of
RoundToMultipleOfPowerOf2andRoundToMultipleOfPowerOf2Assign, traits for rounding a number to a multiple of a power of 2. - Implementations of
SaturatingSubandSaturatingSubAssign, traits for subtracting two numbers and saturating at numeric bounds instead of overflowing. - Implementations of
SaturatingSubMulandSaturatingSubMulAssign, traits for subtracting a number by the product of two numbers and saturating at numeric bounds instead of overflowing. - Left-shifting a
Natural(multiplying it by a power of 2). - Implementations of
ShlRoundandShlRoundAssign, traits for multiplying a number by a power of 2 and rounding according to a specifiedRoundingMode. - Right-shifting a
Natural(dividing it by a power of 2). - Implementations of
ShrRoundandShrRoundAssign, traits for dividing a number by a power of 2 and rounding according to a specifiedRoundingMode. - Implementations of
Sign, a trait for determining the sign of a number. - Implementations of traits for taking the square root of a number.
- Implementations of
SquareandSquareAssign, traits for squaring a number. - Subtraction of
Naturals. - Implementations of
SubMulandSubMulAssign, traits for subtracting the product of two numbers from a number.