openvm_pairing_guest::halo2curves_shims::bn254

Function tangent_line_013

Source 
pub fn tangent_line_013<Fp, Fp2>(P: AffinePoint<Fp>) -> EvaluatedLine<Fp2>
where
    Fp: Field,
    Fp2: Field + FieldExtension<Fp>,
    for<'a, 'a, 'a> &'a Fp: Add<&'a Fp, Output = Fp> + Sub<&'a Fp, Output = Fp> + Mul<&'a Fp, Output = Fp>,
    for<'a, 'a, 'a, 'a> &'a Fp2: Add<&'a Fp2, Output = Fp2> + Sub<&'a Fp2, Output = Fp2> + Mul<&'a Fp2, Output = Fp2> + Neg<Output = Fp2>,
Expand description

Returns a line function for a tangent line at the point P