pub fn exp_1717986917<R: PrimeCharacteristicRing>(val: R) -> RExpand 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.