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, EvaluationDomainMoveAssignClearsSource)
	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 500 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 456 of file polynomial_arithmetic.test.cpp.

TEST() [4/8]

TEST	(	polynomials	,
		FactorRootsNonExactDivisionAsserts
	)

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

TEST() [5/8]

TEST	(	polynomials	,
		FftInnerParallelInPlaceAsserts
	)

Definition at line 513 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 477 of file polynomial_arithmetic.test.cpp.

TEST() [8/8]

TEST	(	polynomials	,
		ParseSizeStringOverflowAsserts
	)

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

TYPED_TEST() [1/14]

TYPED_TEST	(	PolynomialTests	,
		compute_efficient_interpolation
	)

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

TYPED_TEST() [2/14]

TYPED_TEST	(	PolynomialTests	,
		compute_efficient_interpolation_domain_with_zero
	)

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

TYPED_TEST() [3/14]

TYPED_TEST	(	PolynomialTests	,
		default_construct_then_assign
	)

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

TYPED_TEST() [4/14]

TYPED_TEST	(	PolynomialTests	,
		domain_roots
	)

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

TYPED_TEST() [5/14]

TYPED_TEST	(	PolynomialTests	,
		evaluate_mle_legacy
	)

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

TYPED_TEST() [6/14]

TYPED_TEST	(	PolynomialTests	,
		evaluation_domain
	)

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

TYPED_TEST() [7/14]

TYPED_TEST	(	PolynomialTests	,
		evaluation_domain_roots
	)

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

TYPED_TEST() [8/14]

TYPED_TEST	(	PolynomialTests	,
		EvaluationDomainMoveAssignClearsSource
	)

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

TYPED_TEST() [9/14]

TYPED_TEST	(	PolynomialTests	,
		EvaluationDomainMoveSelfAssign
	)

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

TYPED_TEST() [10/14]

TYPED_TEST	(	PolynomialTests	,
		interpolation_constructor
	)

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

TYPED_TEST() [11/14]

TYPED_TEST	(	PolynomialTests	,
		interpolation_constructor_single
	)

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

TYPED_TEST() [12/14]

TYPED_TEST	(	PolynomialTests	,
		linear_poly_product
	)

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

TYPED_TEST() [13/14]

TYPED_TEST	(	PolynomialTests	,
		LinearPolyProductSmallN
	)

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

TYPED_TEST() [14/14]

TYPED_TEST	(	PolynomialTests	,
		move_construct_and_assign
	)

Test the function for partially evaluating MLE polynomials.

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	PolynomialTests	,
		FieldTypes
	)