Struct test_dalek_docs::backend::serial::curve_models::CompletedPoint

pub struct CompletedPoint {
    pub X: FieldElement51,
    pub Y: FieldElement51,
    pub Z: FieldElement51,
    pub T: FieldElement51,
}

A CompletedPoint is a point \(((X:Z), (Y:T))\) on the \(\mathbb P^1 \times \mathbb P^1 \) model of the curve. A point (x,y) in the affine model corresponds to \( ((x:1),(y:1)) \).

More details on the relationships between the different curve models can be found in the module-level documentation.

Fields

X: FieldElement51

Y: FieldElement51

Z: FieldElement51

T: FieldElement51

Implementations

impl CompletedPoint

pub fn to_projective(&self) -> ProjectivePoint

Convert this point from the \( \mathbb P^1 \times \mathbb P^1 \) model to the \( \mathbb P^2 \) model.

This costs \(3 \mathrm M \).

pub fn to_extended(&self) -> EdwardsPoint

Convert this point from the \( \mathbb P^1 \times \mathbb P^1 \) model to the \( \mathbb P^3 \) model.

This costs \(4 \mathrm M \).

Trait Implementations

impl Clone for CompletedPoint

fn clone(&self) -> CompletedPoint

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CompletedPoint

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Copy for CompletedPoint