List of Figures

• Interface between Domains using Virtual Domains
• Communication between Domain and its Subdomains
• The Central Header File groebner.h
• Communication between Coercion Unit and Subdomain
• 2-level Structure of Polynomials
• Hierarchy of Domains