BasicPermutationTest Class Reference

Inheritance diagram for BasicPermutationTest:

Static Public Member Functions
static void	check_two_row_sum (const RelationParameters< FF > &params, FF t1_row1, FF t2_row1, FF lookup_predicate_row1)
	Build and evaluate a canonical two-row (lookup + table) trace.
Static Public Member Functions inherited from GenericPermutationRelationTest< SettingsBasicPermutation >
static Accumulator	eval_row (const AllEntities &row, const RelationParameters< FF > &params, FF scaling_factor=FF(1))
	Accumulate a single row into a fresh accumulator.
static Accumulator	eval_trace (const std::vector< AllEntities > &rows, const RelationParameters< FF > &params, FF scaling_factor=FF(1))
	Accumulate multiple rows into one accumulator.

Additional Inherited Members
Public Types inherited from GenericPermutationRelationTest< SettingsBasicPermutation >
using	Relation = GenericPermutationRelationImpl< SettingsBasicPermutation, FF >
using	AllEntities = typename Settings::AllEntities
using	Accumulator = std::array< FF, NUM_SUBRELATIONS >
Static Public Attributes inherited from GenericPermutationRelationTest< SettingsBasicPermutation >
static constexpr size_t	NUM_SUBRELATIONS

Detailed Description

Definition at line 103 of file generic_permutation_relation.test.cpp.

Member Function Documentation

check_two_row_sum()

static void BasicPermutationTest::check_two_row_sum ( const RelationParameters< FF > &  params, FF  t1_row1, FF  t2_row1, FF  lookup_predicate_row1  )

inlinestatic

Build and evaluate a canonical two-row (lookup + table) trace.

Row 0 is always a lookup row with f1=1, f2=2. Row 1 is always a table rows, optionally a lookup row The table columns and the lookup predicates for row 1 are the varying parameters.

Definition at line 113 of file generic_permutation_relation.test.cpp.

---

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

• src/barretenberg/relations/generic_permutation/generic_permutation_relation.test.cpp