sample.h

/* Copyright (C) 2012-2020 IBM Corp.
 * This program is Licensed under the Apache License, Version 2.0
 * (the "License"); you may not use this file except in compliance
 * with the License. You may obtain a copy of the License at
 *   http://www.apache.org/licenses/LICENSE-2.0
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License. See accompanying LICENSE file.
 */
#ifndef HELIB_SAMPLE_H
#define HELIB_SAMPLE_H
 
#include <vector>
#include <NTL/xdouble.h>
#include <NTL/ZZX.h>
#include <NTL/ZZ_pX.h>
#include <helib/zzX.h>
 
namespace helib {
 
void sampleSmall(zzX& poly, long n, double prob = 0.5);
void sampleSmall(NTL::ZZX& poly, long n, double prob = 0.5);
 
void sampleHWt(zzX& poly, long n, long Hwt = 100);
void sampleHWt(NTL::ZZX& poly, long n, long Hwt = 100);
 
void sampleGaussian(zzX& poly, long n, double stdev);
void sampleGaussian(NTL::ZZX& poly, long n, double stdev);
 
void sampleUniform(zzX& poly, long n, long B = 100);
void sampleUniform(NTL::ZZX& poly, long n, const NTL::ZZ& B = NTL::ZZ(100L));
 
void sampleGaussian(std::vector<double>& dvec, long n, double stdev);
 
class Context;
class PAlgebra;
// Same as above, but sample mod X^m-1 and then reduce mod Phi_m(X)
double sampleHWt(zzX& poly, const Context& context, long Hwt = 100);
double sampleHWtBounded(zzX& poly, const Context& context, long Hwt = 100);
 
double sampleHWtBoundedEffectiveBound(const Context& context, long Hwt = 100);
// This just returns the effective bound used by sampleHWt bounded
 
// Return value is high-probability bound on L-infty norm of canonical embedding
double sampleSmall(zzX& poly, const Context& context);
// Same as above, but ensure the result is not too much larger than typical
double sampleSmallBounded(zzX& poly, const Context& context);
 
// Return value is high-probability bound on L-infty norm of canonical embedding
double sampleGaussian(zzX& poly, const Context& context, double stdev);
// Same as above, but ensure the result is not too much larger than typical
double sampleGaussianBounded(zzX& poly, const Context& context, double stdev);
 
double sampleUniform(zzX& poly, const Context& context, long B = 100);
NTL::xdouble sampleUniform(NTL::ZZX& poly,
                           const Context& context,
                           const NTL::ZZ& B = NTL::ZZ(100L));
 
double boundFreshNoise(long m, long phim, double sigma, double epsilon = 9e-13);
double boundRoundingNoise(long m, long phim, long p2r, double epsilon = 9e-13);
 
void reduceModPhimX(zzX& poly, const PAlgebra& palg);
const NTL::zz_pXModulus& getPhimXMod(const PAlgebra& palg);
 
} // namespace helib
 
#endif // ifndef HELIB_SAMPLE_H