Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
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, ifft_consistency)
 
 TEST (polynomials, split_polynomial_evaluate)
 
 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_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)
 

Typedef Documentation

◆ FieldTypes

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

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

Function Documentation

◆ TEST() [1/4]

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() [2/4]

TEST ( polynomials  ,
ifft_consistency   
)

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

◆ TEST() [3/4]

TEST ( polynomials  ,
linear_poly_product   
)

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

◆ TEST() [4/4]

TEST ( polynomials  ,
split_polynomial_evaluate   
)

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

◆ TYPED_TEST() [1/10]

TYPED_TEST ( PolynomialTests  ,
compute_efficient_interpolation   
)

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

◆ TYPED_TEST() [2/10]

TYPED_TEST ( PolynomialTests  ,
compute_efficient_interpolation_domain_with_zero   
)

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

◆ TYPED_TEST() [3/10]

TYPED_TEST ( PolynomialTests  ,
default_construct_then_assign   
)

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

◆ TYPED_TEST() [4/10]

TYPED_TEST ( PolynomialTests  ,
domain_roots   
)

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

◆ TYPED_TEST() [5/10]

TYPED_TEST ( PolynomialTests  ,
evaluate_mle_legacy   
)

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

◆ TYPED_TEST() [6/10]

TYPED_TEST ( PolynomialTests  ,
evaluation_domain   
)

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

◆ TYPED_TEST() [7/10]

TYPED_TEST ( PolynomialTests  ,
evaluation_domain_roots   
)

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

◆ TYPED_TEST() [8/10]

TYPED_TEST ( PolynomialTests  ,
interpolation_constructor   
)

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

◆ TYPED_TEST() [9/10]

TYPED_TEST ( PolynomialTests  ,
interpolation_constructor_single   
)

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

◆ TYPED_TEST() [10/10]

TYPED_TEST ( PolynomialTests  ,
move_construct_and_assign   
)

Test the function for partially evaluating MLE polynomials.

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

◆ TYPED_TEST_SUITE()

TYPED_TEST_SUITE ( PolynomialTests  ,
FieldTypes   
)