Skip to main content

audit_log_unit

logicaffeine_proof::cyclotomic

Function audit_log_unit 

Source 
pub fn audit_log_unit(n: usize) -> LogUnitAudit
Expand description

Measure the log-unit lattice geometry for R = ℤ[X]/(Xⁿ+1).