Figure 6 illustrates the hierarchy of domains in GRÖBNER. Triangles are used for virtual domains whereas rectangles denote actually implemented domains. The small triangles glued to the bottom of each ``domain'' should represent the subdomains of the respective domain.
Figure 6: Hierarchy of Domains