polynomial_arithmetic.test.cpp File Reference

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

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, ifft_consistency)
	TYPED_TEST_SUITE (PolynomialTests, FieldTypes)
	TYPED_TEST (PolynomialTests, linear_poly_product)
	TYPED_TEST (PolynomialTests, LinearPolyProductSmallN)
	TYPED_TEST (PolynomialTests, evaluation_domain)
	TYPED_TEST (PolynomialTests, EvaluationDomainMoveSelfAssign)
	TYPED_TEST (PolynomialTests, domain_roots)
	TYPED_TEST (PolynomialTests, evaluation_domain_roots)
	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, move_construct_and_assign)
	Test the function for partially evaluating MLE polynomials.
	TYPED_TEST (PolynomialTests, default_construct_then_assign)
	TEST (polynomials, FactorRootsExactDivisionRegression)
	TEST (polynomials, FactorRootsNonExactDivisionAsserts)
	TEST (polynomials, InterpolationCtorMismatchedSpansAsserts)
	TEST (polynomials, ParseSizeStringOverflowAsserts)
	TEST (polynomials, ComputeEfficientInterpolationDuplicatePointsAsserts)
	TEST (polynomials, FftInnerParallelInPlaceAsserts)

Typedef Documentation

FieldTypes

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

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

Function Documentation

TEST() [1/8]

TEST	(	polynomials	,
		ComputeEfficientInterpolationDuplicatePointsAsserts
	)

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

TEST() [2/8]

TEST	(	polynomials	,
		evaluate
	)

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

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

TEST() [3/8]

TEST	(	polynomials	,
		FactorRootsExactDivisionRegression
	)

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

TEST() [4/8]

TEST	(	polynomials	,
		FactorRootsNonExactDivisionAsserts
	)

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

TEST() [5/8]

TEST	(	polynomials	,
		FftInnerParallelInPlaceAsserts
	)

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

TEST() [6/8]

TEST	(	polynomials	,
		ifft_consistency
	)

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

TEST() [7/8]

TEST	(	polynomials	,
		InterpolationCtorMismatchedSpansAsserts
	)

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

TEST() [8/8]

TEST	(	polynomials	,
		ParseSizeStringOverflowAsserts
	)

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

TYPED_TEST() [1/13]

TYPED_TEST	(	PolynomialTests	,
		compute_efficient_interpolation
	)

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

TYPED_TEST() [2/13]

TYPED_TEST	(	PolynomialTests	,
		compute_efficient_interpolation_domain_with_zero
	)

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

TYPED_TEST() [3/13]

TYPED_TEST	(	PolynomialTests	,
		default_construct_then_assign
	)

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

TYPED_TEST() [4/13]

TYPED_TEST	(	PolynomialTests	,
		domain_roots
	)

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

TYPED_TEST() [5/13]

TYPED_TEST	(	PolynomialTests	,
		evaluate_mle_legacy
	)

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

TYPED_TEST() [6/13]

TYPED_TEST	(	PolynomialTests	,
		evaluation_domain
	)

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

TYPED_TEST() [7/13]

TYPED_TEST	(	PolynomialTests	,
		evaluation_domain_roots
	)

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

TYPED_TEST() [8/13]

TYPED_TEST	(	PolynomialTests	,
		EvaluationDomainMoveSelfAssign
	)

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

TYPED_TEST() [9/13]

TYPED_TEST	(	PolynomialTests	,
		interpolation_constructor
	)

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

TYPED_TEST() [10/13]

TYPED_TEST	(	PolynomialTests	,
		interpolation_constructor_single
	)

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

TYPED_TEST() [11/13]

TYPED_TEST	(	PolynomialTests	,
		linear_poly_product
	)

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

TYPED_TEST() [12/13]

TYPED_TEST	(	PolynomialTests	,
		LinearPolyProductSmallN
	)

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

TYPED_TEST() [13/13]

TYPED_TEST	(	PolynomialTests	,
		move_construct_and_assign
	)

Test the function for partially evaluating MLE polynomials.

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	PolynomialTests	,
		FieldTypes
	)