Skip to main content

richelot_partitions

Function richelot_partitions 

Source
pub fn richelot_partitions(roots: &[BigInt; 6], p: &BigInt) -> Vec<[Quad; 3]>
Expand description

The 15 quadratic splittings of six roots into three pairs — the neighbours of a genus-2 Jacobian in the (2,2)-isogeny graph. Each pair (rₐ, r_b) becomes the quadratic (x−rₐ)(x−r_b).