// Sanity-check: Check that prime-set is "valid", i.e. that it // contains either all the special primes or none of them bool Ctxt::verifyPrimeSet() const { IndexSet s = primeSet & context.specialPrimes; // special primes in primeSet if (!empty(s) && s!=context.specialPrimes) return false; s = primeSet / s; // ctxt primes in primeSet return (s.isInterval() && s.first()<=1 && !empty(s)); }
NTL_CLIENT #include "FHEContext.h" #include "Ctxt.h" #include "FHE.h" #include "timing.h" // Sanity-check: Check that prime-set is "valid", i.e. that it // contains either all the special primes or none of them bool Ctxt::verifyPrimeSet() const { IndexSet s = primeSet & context.specialPrimes; // special primes in primeSet if (!empty(s) && s!=context.specialPrimes) return false; s = primeSet / s; // ctxt primes in primeSet return (s.isInterval() && s.first()<=1 && !empty(s)); }