Expand description
Traits for arithmetic on UnsignedVectors.
Modules§
- canonical_
primitive_ part - Implementations of
CanonicalPrimitivePart,CanonicalPrimitivePartAssign, andContentAndCanonicalPrimitivePart, which, for a vector with non-negative elements, are the same as the primitive part. - content
- Implementations of
Content,PrimitivePart,PrimitivePartAssign, andContentAndPrimitivePart, which compute the GCD of a vector’s elements and the vector divided by it. - content_
chained - Implementations of
ContentChained, which computes the GCD of a number and a vector’s elements. - div_
exact - Exact division of a vector by a scalar, by implementations of
DivExactandDivExactAssign. - entrywise_
div_ round - Dividing every element of a vector by a scalar and rounding each quotient, by implementations of
EntrywiseDivRoundandEntrywiseDivRoundAssign. - entrywise_
shr_ round - Right-shifting a vector (dividing it by a power of 2) and rounding every element, by
implementations of
EntrywiseShrRoundandEntrywiseShrRoundAssign. - height
- An implementation of
Height, the largest height of any element. - mod_
abs_ squared - Implementations of
ModAbsSquared, the squared norm of a vector modulo a number. - mod_add
- Implementations of
ModAddandModAddAssign, for adding vectors modulo a number. - mod_
add_ mul - Implementations of
ModAddMulandModAddMulAssign, for adding a scalar multiple of one vector to another modulo a number. - mod_
add_ mul_ shl - Implementations of
ModAddMulShlandModAddMulShlAssign, for adding a scalar multiple of one vector, shifted left, to another modulo a number. - mod_dot
- Implementations of
ModDot, the dot product of two vectors modulo a number, accumulating the sum before reducing it once. - mod_
element_ product - Implementations of
ModElementProduct, the product of the elements modulo a number. - mod_
element_ sum - Implementations of
ModElementSum, the sum of the elements modulo a number. - mod_
is_ reduced - An implementation of
ModIsReduced, which checks whether every element of a vector is less than a given modulus. - mod_mul
- Implementations of
ModMulandModMulAssign, for multiplying a vector by a scalar modulo a number. - mod_neg
- Implementations of
ModNegandModNegAssign, for negating a vector modulo a number. - mod_op
- Implementations of
Mod,ModAssign,Rem, andRemAssign, traits for reducing every element of a vector modulo a number. - mod_
power_ of_ 2 - Implementations of
ModPowerOf2andModPowerOf2Assign, which reduce every element of a vector modulo a power of 2. - mod_
power_ of_ 2_ abs_ squared - Implementations of
ModPowerOf2AbsSquared, the squared norm of a vector modulo a power of 2. - mod_
power_ of_ 2_ add - Implementations of
ModPowerOf2AddandModPowerOf2AddAssign, for adding vectors modulo a power of 2. - mod_
power_ of_ 2_ add_ mul - Implementations of
ModPowerOf2AddMulandModPowerOf2AddMulAssign, for adding a scalar multiple of one vector to another modulo a power of 2. - mod_
power_ of_ 2_ add_ mul_ shl - Implementations of
ModPowerOf2AddMulShlandModPowerOf2AddMulShlAssign, for adding a scalar multiple of one vector, shifted left, to another modulo a power of 2. - mod_
power_ of_ 2_ dot - Implementations of
ModPowerOf2Dot, the dot product of two vectors modulo a power of 2. - mod_
power_ of_ 2_ element_ product - An implementation of
ModPowerOf2ElementProduct, the product of the elements modulo a power of 2. - mod_
power_ of_ 2_ element_ sum - An implementation of
ModPowerOf2ElementSum, the sum of the elements modulo a power of 2. - mod_
power_ of_ 2_ is_ reduced - An implementation of
ModPowerOf2IsReduced, which checks whether every element of a vector is less than a given power of 2. - mod_
power_ of_ 2_ mul - Implementations of
ModPowerOf2MulandModPowerOf2MulAssign, for multiplying a vector by a scalar modulo a power of 2. - mod_
power_ of_ 2_ neg - Implementations of
ModPowerOf2NegandModPowerOf2NegAssign, for negating a vector modulo a power of 2. - mod_
power_ of_ 2_ shl - Implementations of
ModPowerOf2ShlandModPowerOf2ShlAssign, for left-shifting a vector (multiplying it by a power of 2) modulo another power of 2. - mod_
power_ of_ 2_ sub - Implementations of
ModPowerOf2SubandModPowerOf2SubAssign, for subtracting vectors modulo a power of 2. - mod_
power_ of_ 2_ sub_ mul - Implementations of
ModPowerOf2SubMulandModPowerOf2SubMulAssign, for subtracting a scalar multiple of one vector from another modulo a power of 2. - mod_
power_ of_ 2_ sub_ mul_ shl - Implementations of
ModPowerOf2SubMulShlandModPowerOf2SubMulShlAssign, for subtracting a scalar multiple of one vector, shifted left, from another modulo a power of 2. - mod_
power_ of_ 2_ sum - Implementations of
ModPowerOf2Sum, for adding up vectors entry by entry modulo a power of 2. - mod_shl
- Implementations of
ModShlandModShlAssign, for left-shifting a vector (multiplying it by a power of 2) modulo a number. - mod_sub
- Implementations of
ModSubandModSubAssign, for subtracting vectors modulo a number. - mod_
sub_ mul - Implementations of
ModSubMulandModSubMulAssign, for subtracting a scalar multiple of one vector from another modulo a number. - mod_
sub_ mul_ shl - Implementations of
ModSubMulShlandModSubMulShlAssign, for subtracting a scalar multiple of one vector, shifted left, from another modulo a number. - mod_sum
- Implementations of
ModSum, for adding up vectors entry by entry modulo a number. - scalar_
div - Implementations of
DivandDivAssign, for dividing a vector by a scalar. - shr
- Right-shifting a vector (dividing it by a power of 2 and taking the floor), by implementations
of
ShrandShrAssign.