Jeremy Kun

Thanks for the discussion. I think I will close this, and if any readers have additional questions on this exercise, feel free to reopen.

I suppose there'e no point in ever closing these issues, and when they're open they're easier to discover.

If you want a lasting understanding of this exercise, it will help to read the first chapter on linear algebra, because it allows you to "ignore the actual coefficients" in...

For the `pi+e` and `pi*e` part, there are two steps: (1) prove that a number which is the root of a polynomial whose coefficients are algebraic is also algebraic, and...

So with, phi, even though it's not just a root the ideas are similar: e.g., (phi + b)^2 = phi^2 + 2b*phi + b^2 = phi + 1 + 2b*phi...

You are correct! If you'd like to submit an erratum for this, I'll credit you in the next edition. The submission form is at https://pimbook.org

I do believe I clarify this in the next sentence, but the way it's worded is incorrect enough that I should fix it.

This sounds like a good idea to me!

Can confirm this is still happening to me

Agreed, the error message states the problem > CMake Error at CMakeLists.txt:377 (message): > Autoconf is not installed. Please try installing autoconf and reopen this issue if the problem persists...