A simple question about Iwasawa Theory There has been a lot of talk over the decades about Iwasawa Theory being a major player in number theory, and one of the most important object in said theory is the so-called Iwasawa polynomial. I have yet to see an example anywhere of such a polynomial. Is this polynomial hard/impossible to compute? I've read the definition in the standard literature, however, none of the texts/books/papers that I've seen provide any examples of this polynomial. Sigh... 
Any sightings of those polynomials out there? I would appreciate some feedback on this. Thanks.

Here is a function written for Pari/GP which computes Iwasawa polynomials. See in particular the note.
