BasicLookupTest Class Reference

Inheritance diagram for BasicLookupTest:

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

Detailed Description

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

Member Function Documentation

check_two_row_sum()

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

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 row with f1=9, f2=10 (dummies, lookup_pred=0). The table columns for row 1 and the read count are the varying parameters.

The expected subrelation 1 sum is derived directly from the inputs: acc[1] = 1/lookup_term0 - read_count/table_term1 so passing table columns that match row 0 (t1=1, t2=2) with read_count=1 gives 0.

Definition at line 239 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