tangent_line_023

openvm_pairing_guest::halo2curves_shims::bls12_381

Function tangent_line_023 

Source 
pub fn tangent_line_023<Fp, Fp2>(P: AffinePoint<Fp>) -> EvaluatedLine<Fp2>
where
    Fp: Field,
    Fp2: FieldExtension<Fp> + Field,
    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