lducas / FHEW

Other
218 stars 46 forks source link

Some questions about function MemberTest in FHEW library #21

Closed xiaolei206 closed 5 years ago

xiaolei206 commented 5 years ago

Hello, I have a perplexity about the MemberTest() function: for (int i = 0; i < N2; ++i) temp[i] = conj(((double complex) C[0][i]) ((double complex)t[i])); // Compute ta FFTbackward(temp_ModQ, temp); for (int i = 0; i < N; ++i) ct->a[i] = temp_ModQ[i]; Can you tell me why conj is required here?

lducas commented 5 years ago

This may correspond to the transpositions in Algorithm 2 of the paper. Indeed, transposition is to be understood in its `hermitian' sense because we are working over a complex-multiplication ring.