ABSTRACT
It remains an old maxim of mine that when you have excluded the impossible, whatever remains, however improbable, must be the truth.
spoken by Sherlock Holmes in The Adventure of Beryl Coronet. Sir Arthur Conan Doyle (1859-1930), Scottish-born writer of
detective fiction
We first mentioned the notion of an ideal on page 16 in reference to how we would need such a theory to delve deeper into some Diophantine analysis problems such as the generalized Ramanujan-Nagell equation. We also have some background in [68, Appendix A, pp. 303-305]. Now we have sufficient tools to introduce the concepts involved here.
