polynomial_arithmetic.test.cpp File Reference

#include "polynomial_arithmetic.hpp"
#include "barretenberg/common/mem.hpp"
#include "barretenberg/numeric/bitop/get_msb.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/polynomials/evaluation_domain.hpp"
#include "polynomial.hpp"
#include <algorithm>
#include <cstddef>
#include <gtest/gtest.h>
#include <utility>

Go to the source code of this file.

Classes
class	PolynomialTests< FF >

Typedefs
using	FieldTypes = ::testing::Types< bb::fr, grumpkin::fr >

Functions
	TEST (polynomials, evaluate)
	Ensure evaluate() gives consistent result for polynomials of different size but same non-zero coefficients.
	TEST (polynomials, fft_with_small_degree)
	TEST (polynomials, split_polynomial_fft)
	TEST (polynomials, split_polynomial_evaluate)
	TEST (polynomials, basic_fft)
	TEST (polynomials, fft_ifft_consistency)
	TEST (polynomials, split_polynomial_fft_ifft_consistency)
	TEST (polynomials, fft_coset_ifft_consistency)
	TEST (polynomials, split_polynomial_fft_coset_ifft_consistency)
	TEST (polynomials, fft_coset_ifft_cross_consistency)
	TEST (polynomials, compute_kate_opening_coefficients)
	TEST (polynomials, barycentric_weight_evaluations)
	TEST (polynomials, linear_poly_product)
	TYPED_TEST_SUITE (PolynomialTests, FieldTypes)
	TYPED_TEST (PolynomialTests, evaluation_domain)
	TYPED_TEST (PolynomialTests, domain_roots)
	TYPED_TEST (PolynomialTests, evaluation_domain_roots)
	TYPED_TEST (PolynomialTests, compute_interpolation)
	TYPED_TEST (PolynomialTests, compute_efficient_interpolation)
	TYPED_TEST (PolynomialTests, compute_efficient_interpolation_domain_with_zero)
	TYPED_TEST (PolynomialTests, interpolation_constructor_single)
	TYPED_TEST (PolynomialTests, interpolation_constructor)
	TYPED_TEST (PolynomialTests, evaluate_mle_legacy)
	TYPED_TEST (PolynomialTests, partial_evaluate_mle)
	Test the function for partially evaluating MLE polynomials.
	TYPED_TEST (PolynomialTests, move_construct_and_assign)
	TYPED_TEST (PolynomialTests, default_construct_then_assign)

Typedef Documentation

FieldTypes

using FieldTypes = ::testing::Types<bb::fr, grumpkin::fr>

Definition at line 387 of file polynomial_arithmetic.test.cpp.

Function Documentation

TEST() [1/13]

TEST	(	polynomials	,
		barycentric_weight_evaluations
	)

Definition at line 335 of file polynomial_arithmetic.test.cpp.

TEST() [2/13]

TEST	(	polynomials	,
		basic_fft
	)

Definition at line 117 of file polynomial_arithmetic.test.cpp.

TEST() [3/13]

TEST	(	polynomials	,
		compute_kate_opening_coefficients
	)

Definition at line 286 of file polynomial_arithmetic.test.cpp.

TEST() [4/13]

TEST	(	polynomials	,
		evaluate
	)

Ensure evaluate() gives consistent result for polynomials of different size but same non-zero coefficients.

Definition at line 17 of file polynomial_arithmetic.test.cpp.

TEST() [5/13]

TEST	(	polynomials	,
		fft_coset_ifft_consistency
	)

Definition at line 189 of file polynomial_arithmetic.test.cpp.

TEST() [6/13]

TEST	(	polynomials	,
		fft_coset_ifft_cross_consistency
	)

Definition at line 243 of file polynomial_arithmetic.test.cpp.

TEST() [7/13]

TEST	(	polynomials	,
		fft_ifft_consistency
	)

Definition at line 139 of file polynomial_arithmetic.test.cpp.

TEST() [8/13]

TEST	(	polynomials	,
		fft_with_small_degree
	)

Definition at line 33 of file polynomial_arithmetic.test.cpp.

TEST() [9/13]

TEST	(	polynomials	,
		linear_poly_product
	)

Definition at line 366 of file polynomial_arithmetic.test.cpp.

TEST() [10/13]

TEST	(	polynomials	,
		split_polynomial_evaluate
	)

Definition at line 93 of file polynomial_arithmetic.test.cpp.

TEST() [11/13]

TEST	(	polynomials	,
		split_polynomial_fft
	)

Definition at line 58 of file polynomial_arithmetic.test.cpp.

TEST() [12/13]

TEST	(	polynomials	,
		split_polynomial_fft_coset_ifft_consistency
	)

Definition at line 213 of file polynomial_arithmetic.test.cpp.

TEST() [13/13]

TEST	(	polynomials	,
		split_polynomial_fft_ifft_consistency
	)

Definition at line 159 of file polynomial_arithmetic.test.cpp.

TYPED_TEST() [1/12]

TYPED_TEST	(	PolynomialTests	,
		compute_efficient_interpolation
	)

Definition at line 453 of file polynomial_arithmetic.test.cpp.

TYPED_TEST() [2/12]

TYPED_TEST	(	PolynomialTests	,
		compute_efficient_interpolation_domain_with_zero
	)

Definition at line 474 of file polynomial_arithmetic.test.cpp.

TYPED_TEST() [3/12]

TYPED_TEST	(	PolynomialTests	,
		compute_interpolation
	)

Definition at line 432 of file polynomial_arithmetic.test.cpp.

TYPED_TEST() [4/12]

TYPED_TEST	(	PolynomialTests	,
		default_construct_then_assign
	)

Definition at line 695 of file polynomial_arithmetic.test.cpp.

TYPED_TEST() [5/12]

TYPED_TEST	(	PolynomialTests	,
		domain_roots
	)

Definition at line 401 of file polynomial_arithmetic.test.cpp.

TYPED_TEST() [6/12]

TYPED_TEST	(	PolynomialTests	,
		evaluate_mle_legacy
	)

Definition at line 565 of file polynomial_arithmetic.test.cpp.

TYPED_TEST() [7/12]

TYPED_TEST	(	PolynomialTests	,
		evaluation_domain
	)

Definition at line 391 of file polynomial_arithmetic.test.cpp.

TYPED_TEST() [8/12]

TYPED_TEST	(	PolynomialTests	,
		evaluation_domain_roots
	)

Definition at line 415 of file polynomial_arithmetic.test.cpp.

TYPED_TEST() [9/12]

TYPED_TEST	(	PolynomialTests	,
		interpolation_constructor
	)

Definition at line 537 of file polynomial_arithmetic.test.cpp.

TYPED_TEST() [10/12]

TYPED_TEST	(	PolynomialTests	,
		interpolation_constructor_single
	)

Definition at line 526 of file polynomial_arithmetic.test.cpp.

TYPED_TEST() [11/12]

TYPED_TEST	(	PolynomialTests	,
		move_construct_and_assign
	)

Definition at line 659 of file polynomial_arithmetic.test.cpp.

TYPED_TEST() [12/12]

TYPED_TEST	(	PolynomialTests	,
		partial_evaluate_mle
	)

Test the function for partially evaluating MLE polynomials.

Definition at line 626 of file polynomial_arithmetic.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	PolynomialTests	,
		FieldTypes
	)