Trait zero_crypto::behave::Projective

pub trait Projective: Curve + Into<Self::Affine> + From<Self::Affine> {
    type Affine: Affine;

    fn to_affine(self) -> Self::Affine;
    fn get_x(&self) -> Self::Range;
    fn get_y(&self) -> Self::Range;
    fn get_z(&self) -> Self::Range;
    fn set_x(&mut self, value: Self::Range);
    fn set_y(&mut self, value: Self::Range);
    fn set_z(&mut self, value: Self::Range);
}

rational point projective representation projective representation check that a point is infinite by z coordinate

Required Associated Types

type Affine: Affine

Required Methods

fn to_affine(self) -> Self::Affine

fn get_x(&self) -> Self::Range

fn get_y(&self) -> Self::Range

fn get_z(&self) -> Self::Range

fn set_x(&mut self, value: Self::Range)

fn set_y(&mut self, value: Self::Range)

fn set_z(&mut self, value: Self::Range)

Implementors