CustomizedLookupTest Class Reference

Inheritance diagram for CustomizedLookupTest:

Static Public Member Functions
static void	check_two_row_sum (const RelationParameters< FF > &params, FF table_t_value, FF read_count)
	Build and evaluate a canonical two-row (lookup + table) trace.
Static Public Member Functions inherited from GenericLookupRelationTest< SettingsCustomizedLookup >
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 GenericLookupRelationTest< SettingsCustomizedLookup >
using	Relation = GenericLookupRelationImpl< SettingsCustomizedLookup, FF >
using	AllEntities = typename Settings::AllEntities
using	Accumulator = std::array< FF, NUM_SUBRELATIONS >
Static Public Attributes inherited from GenericLookupRelationTest< SettingsCustomizedLookup >
static constexpr size_t	NUM_SUBRELATIONS

Detailed Description

Definition at line 446 of file generic_lookup_relation.test.cpp.

Member Function Documentation

check_two_row_sum()

static void CustomizedLookupTest::check_two_row_sum ( const RelationParameters< FF > &  params, FF  table_t_value, FF  read_count  )

inlinestatic

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

Row 0 is always a lookup row with f=3 (lookup_term = 9). Row 1 is always a table row with f=5 (dummy, lookup_pred=0). The t column for row 1 and the read count are the varying parameters.

The expected subrelation 1 sum is 1/lookup_term0 - read_count/table_term1, so passing table_t_value=9 (== v^2) with read_count=1 gives 0.

Definition at line 458 of file generic_lookup_relation.test.cpp.

---

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

• src/barretenberg/relations/generic_lookup/generic_lookup_relation.test.cpp