Struct MatchedPairGlue 

pub struct MatchedPairGlue {
    pub sextic: Vec<BigInt>,
    pub e1: Vec<BigInt>,
    pub e2: Vec<BigInt>,
    pub p: BigInt,
}

A matched-pair (2,2)-gluing: the genus-2 curve C: y² = ∏ᵢ(x² + cᵢx + 1) whose Jacobian is (2,2)-isogenous to E₁ × E₂, where E₁, E₂ share three of the four quartic 2-torsion roots −cᵢ and differ in the fourth (∓2). Derived from the involution x ↦ 1/x (invariants t = x + 1/x, w = y(x³+1)/2x³, giving W = 2w/(t−1) with W² = (t+2)∏(t+cᵢ)). Unlike the even-sextic special case, this is the general gluing along a matched 2-torsion; any two curves with a symplectic 2-torsion isomorphism reach this form after a Möbius normalization of the shared points. Validated exactly by #Jac(C) = #E₁·#E₂ (genus2_jacobian_order).

Fields

sextic: Vec<BigInt>

C: y² = ∏(x² + cᵢx + 1) — the glued genus-2 curve (a sextic).

e1: Vec<BigInt>

E₁: W² = (t+2)·∏(t+cᵢ) — a quartic model of the first elliptic quotient.

e2: Vec<BigInt>

E₂: W² = (t−2)·∏(t+cᵢ) — the second quotient (shares 3 of 4 roots with E₁).

p: BigInt

Trait Implementations

impl Clone for MatchedPairGlue

fn clone(&self) -> MatchedPairGlue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MatchedPairGlue

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

Formats the value using the given formatter.