bb::BarycentricDataRunTime< Fr, domain_end, num_evals, domain_start > Class Template Reference

#include <barycentric.hpp>

Static Public Member Functions
static std::array< Fr, big_domain_size >	construct_big_domain ()
static std::array< Fr, domain_size >	construct_lagrange_denominators (const auto &big_domain)
static std::array< Fr, domain_size *num_evals >	batch_invert (const std::array< Fr, domain_size *num_evals > &coeffs)
static std::array< Fr, domain_size *num_evals >	construct_denominator_inverses (const auto &big_domain, const auto &lagrange_denominators)
static std::array< Fr, num_evals >	construct_full_numerator_values (const auto &big_domain)

Static Public Attributes
static constexpr size_t	domain_size = domain_end - domain_start
static constexpr size_t	big_domain_size = std::max(domain_size, num_evals)
static const auto	big_domain = construct_big_domain()
static const auto	lagrange_denominators = construct_lagrange_denominators(big_domain)
static const auto	precomputed_denominator_inverses
static const auto	full_numerator_values = construct_full_numerator_values(big_domain)

Detailed Description

template<class Fr, size_t domain_end, size_t num_evals, size_t domain_start = 0>
class bb::BarycentricDataRunTime< Fr, domain_end, num_evals, domain_start >

Definition at line 137 of file barycentric.hpp.

Member Function Documentation

batch_invert()

template<class Fr , size_t domain_end, size_t num_evals, size_t domain_start = 0>

static std::array< Fr, domain_size *num_evals > bb::BarycentricDataRunTime< Fr, domain_end, num_evals, domain_start >::batch_invert ( const std::array< Fr, domain_size *num_evals > &  coeffs )

inlinestatic

Definition at line 171 of file barycentric.hpp.

construct_big_domain()

template<class Fr , size_t domain_end, size_t num_evals, size_t domain_start = 0>

static std::array< Fr, big_domain_size > bb::BarycentricDataRunTime< Fr, domain_end, num_evals, domain_start >::construct_big_domain ( )

inlinestatic

Static constexpr methods for computing arrays of precomputable data used for barycentric extension and evaluation

Definition at line 147 of file barycentric.hpp.

construct_denominator_inverses()

template<class Fr , size_t domain_end, size_t num_evals, size_t domain_start = 0>

static std::array< Fr, domain_size *num_evals > bb::BarycentricDataRunTime< Fr, domain_end, num_evals, domain_start >::construct_denominator_inverses ( const auto &  big_domain, const auto &  lagrange_denominators  )

inlinestatic

Definition at line 201 of file barycentric.hpp.

construct_full_numerator_values()

template<class Fr , size_t domain_end, size_t num_evals, size_t domain_start = 0>

static std::array< Fr, num_evals > bb::BarycentricDataRunTime< Fr, domain_end, num_evals, domain_start >::construct_full_numerator_values ( const auto &  big_domain )

inlinestatic

Definition at line 225 of file barycentric.hpp.

construct_lagrange_denominators()

template<class Fr , size_t domain_end, size_t num_evals, size_t domain_start = 0>

static std::array< Fr, domain_size > bb::BarycentricDataRunTime< Fr, domain_end, num_evals, domain_start >::construct_lagrange_denominators ( const auto &  big_domain )

inlinestatic

Definition at line 157 of file barycentric.hpp.

Member Data Documentation

big_domain

template<class Fr , size_t domain_end, size_t num_evals, size_t domain_start = 0>

const auto bb::BarycentricDataRunTime< Fr, domain_end, num_evals, domain_start >::big_domain = construct_big_domain()

inlinestatic

Definition at line 238 of file barycentric.hpp.

big_domain_size

template<class Fr , size_t domain_end, size_t num_evals, size_t domain_start = 0>

constexpr size_t bb::BarycentricDataRunTime< Fr, domain_end, num_evals, domain_start >::big_domain_size = std::max(domain_size, num_evals)

staticconstexpr

Definition at line 140 of file barycentric.hpp.

domain_size

template<class Fr , size_t domain_end, size_t num_evals, size_t domain_start = 0>

constexpr size_t bb::BarycentricDataRunTime< Fr, domain_end, num_evals, domain_start >::domain_size = domain_end - domain_start

staticconstexpr

Definition at line 139 of file barycentric.hpp.

full_numerator_values

template<class Fr , size_t domain_end, size_t num_evals, size_t domain_start = 0>

const auto bb::BarycentricDataRunTime< Fr, domain_end, num_evals, domain_start >::full_numerator_values = construct_full_numerator_values(big_domain)

inlinestatic

Definition at line 242 of file barycentric.hpp.

lagrange_denominators

template<class Fr , size_t domain_end, size_t num_evals, size_t domain_start = 0>

const auto bb::BarycentricDataRunTime< Fr, domain_end, num_evals, domain_start >::lagrange_denominators = construct_lagrange_denominators(big_domain)

inlinestatic

Definition at line 239 of file barycentric.hpp.

precomputed_denominator_inverses

template<class Fr , size_t domain_end, size_t num_evals, size_t domain_start = 0>

const auto bb::BarycentricDataRunTime< Fr, domain_end, num_evals, domain_start >::precomputed_denominator_inverses

inlinestatic

Initial value:

=
        construct_denominator_inverses(big_domain, lagrange_denominators)

Definition at line 240 of file barycentric.hpp.

---

The documentation for this class was generated from the following file:

• src/barretenberg/polynomials/barycentric.hpp