exp_1717986917

Function exp_1717986917 

Source
pub fn exp_1717986917<R: PrimeCharacteristicRing>(val: R) -> R
Expand description

Compute the exponential x -> x^1717986917 using a custom addition chain.

This map computes the fifth root of x if x is a member of the field Mersenne31. This follows from the computation: 5 * 1717986917 = 4*(2^31 - 2) + 1 = 1 mod p - 1.