Struct Richelot 

pub struct Richelot {
    pub delta: BigInt,
    pub domain: Vec<BigInt>,
    pub codomain: Vec<BigInt>,
    pub dual: [Vec<BigInt>; 3],
}

The result of a Richelot (2,2)-isogeny from a quadratic splitting f = G₁·G₂·G₃.

Fields

delta: BigInt

The Richelot determinant δ. δ = 0 ⟺ the surface is reducible (a product of elliptic curves).

domain: Vec<BigInt>

The domain sextic G₁·G₂·G₃.

codomain: Vec<BigInt>

The codomain sextic H₁·H₂·H₃.

dual: [Vec<BigInt>; 3]

The three dual quadratics Hᵢ.

Implementations

impl Richelot

pub fn is_split(&self) -> bool

Whether the codomain abelian surface is reducible — splits as a product of elliptic curves. This is the split condition the Castryck–Decru chain-walk searches for.

Trait Implementations

impl Clone for Richelot

fn clone(&self) -> Richelot

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Richelot

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

Formats the value using the given formatter.