evaluation_domain.hpp
Go to the documentation of this file.
Definition: evaluation_domain.hpp:41
value_type generator
Definition: evaluation_domain.hpp:52
value_type domain_inverse
Definition: evaluation_domain.hpp:51
FieldType field_type
Definition: evaluation_domain.hpp:46
virtual void divide_by_z_on_coset(std::vector< value_type > &P)=0
virtual value_type get_domain_element(const std::size_t idx)=0
std::size_t generator_size
Definition: evaluation_domain.hpp:57
value_type root_inverse
Definition: evaluation_domain.hpp:49
virtual void add_poly_z(const value_type &coeff, std::vector< value_type > &H)=0
virtual void fft(std::vector< value_type > &a)=0
virtual std::vector< value_type > evaluate_all_lagrange_polynomials(const value_type &t)=0
std::size_t log2_size
Definition: evaluation_domain.hpp:56
virtual value_type compute_vanishing_polynomial(const value_type &t)=0
evaluation_domain(const std::size_t m)
Definition: evaluation_domain.hpp:64
virtual void inverse_fft(std::vector< value_type > &a)=0
value_type generator_inverse
Definition: evaluation_domain.hpp:53
Definition: pair.hpp:31