Skip to main content

jac_negate

logicaffeine_proof::hyperelliptic

Function jac_negate 

Source 
pub fn jac_negate(d: &Mumford, p: &BigInt) -> Mumford
Expand description

−D = (u, −v).