Class: modpowprodtab

verificatum.arithm.modpowprodtab(b, m)

new modpowprodtab(b, m)

Returns a table of all possible modular products of a list of bases. More precisely, given a list b of k bases and a modulus m, it returns [k, t], where t is the table computed as t[x] = b[0]^x[0] * ... * b[k-1]^x[k-1] mod m, where x[i] is the ith bit of the integer x.

ASSUMES: m has L limbs and b[i] has L limbs for i = 0,...,k-1 and all inputs are positive.

Parameters:
Name Type Description
b List of bases.
m Modulus.
Source:
Returns:
t Table for products.