def Hex.GF2Poly.clmulSourcePairCoeff (x y : UInt64) (total : Nat) : Bool

Source bit-pair contribution for the coefficient of total bit index total in one word-word carry-less product.

Equations

• One or more equations did not get rendered due to their size.

def Hex.GF2Poly.clmulSourceTripleCoeff (x y z : UInt64) (total : Nat) : Bool

Source bit-triple contribution for the coefficient of total bit index total in a three-word carry-less product.

Equations

• One or more equations did not get rendered due to their size.