| 18 | |
| 19 | template <class T, class FD, class S> |
| 20 | bool Check_Decoding(const Plaintext<T,FD,S>& AE,bool Diag) |
| 21 | { |
| 22 | // // Now check decoding z[i] |
| 23 | // if (!AE.to_type(0)) |
| 24 | // { cout << "Fail Check 4 " << endl; |
| 25 | // return false; |
| 26 | // } |
| 27 | if (Diag && !AE.is_diagonal()) |
| 28 | { |
| 29 | #ifdef VERBOSE |
| 30 | cout << "Fail Check 5 " << endl; |
| 31 | #endif |
| 32 | return false; |
| 33 | } |
| 34 | return true; |
| 35 | } |
| 36 | |
| 37 | template <> |
| 38 | bool Check_Decoding(const vector<Proof::bound_type>& AE, bool Diag, const FFT_Data&) |