Struct HeightFunction 

pub struct HeightFunction {
    pub curve: String,
    pub field: String,
}

The canonical Néron-Tate height ĥ: E(K̄) → ℝ.

Fields

curve: String

The elliptic curve.

field: String

The number field K over which points are defined.

Implementations

impl HeightFunction

pub fn neron_tate(curve: impl Into<String>, field: impl Into<String>) -> Self

Create the Néron-Tate height for E over K.

pub fn naive_height(x_num: i64, x_den: u64) -> f64

Compute height of a rational point (a/d, b/d²) approximation.

Uses h(x/y) ≈ (1/2) log max(|x|, |y|) as a rough naive height.

Trait Implementations

impl Clone for HeightFunction

fn clone(&self) -> HeightFunction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HeightFunction

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

Formats the value using the given formatter.