Skip to main content

cyclotomic_units

Function cyclotomic_units 

Source
pub fn cyclotomic_units(n: usize) -> Vec<Cyclo>
Expand description

The cyclotomic units b_j = 1 + X + ⋯ + X^{j−1} = (Xʲ−1)/(X−1) for j an odd residue in [3, n−1]. These are n/2 − 1 independent units — a basis of a finite-index subgroup of the unit group, and the basis of the log-unit lattice used by CDPR.