After Claim 2 is written that the output of the GCD algorithm is given in the form base2^pow, and the code seems to give the same thing. However, exercise 8 asks the output to be given in a base^e form, and the implementation of debug seems to give baseexponent. Are we supposed to convert between two types, or is there a mistake?
example of an input-output sets.
another input-output set since the site limits me to one media file per post
You are absolutely correct. There was a typo in Preliminary Exercise 8, thanks for pointing it out.
The left hand side of the equation in the functionality there is supposed to be \langle \mathit{base} \rangle \cdot 2^e, not \langle \mathit{base} \rangle^e. The project PDF is fixed now.