Als nächtes Anwendungsbeispiel wollen wir eine symbolische Algebra für ganzrationale Polynome entwickeln. Auch dabei wollen wir Überlegungen zur konkreten Repräsentation erst gegen Ende anstellen, und Prozeduren, die sich auf die konkrete Repräsentation beziehen müssen zu Anfang identifizieren und alle anderen Funktionen sich darauf abstützen lassen. Erst gegen Ende wollen wir uns für eine konkrete Implementation dieser Prozeduren entscheiden.: 08-polynominals.scm