DiscreteLogarithm : Source reformatting