Module shift_predicate 

Shift predicate evaluation.

Evaluates S_c(x, y) — the multilinear extension of the shift-by-c indicator — at arbitrary field points.

Functions

eval_shift_predicate

Evaluate the shift predicate S_c(x, y) at arbitrary field points.