mobius_eq_1

openvm_recursion_circuit::utils

Function mobius_eq_1 

Source 
pub fn mobius_eq_1<FA>(u: [impl Into<FA>; 4], x: [impl Into<FA>; 4]) -> [FA; 4]
where
    FA: PrimeCharacteristicRing,
    FA::PrimeSubfield: BinomiallyExtendable<{ D_EF }>,
Expand description

Per-coordinate Möbius-adjusted equality kernel for eval-to-coeff RS encoding:

mobius_eq_1(u, x) = (1 - 2*u)*(1 - x) + u*x
                  = 1 - x - 2*u + 3*u*x