Each divisor has a cache (a CacheTable). One of the keys of this cache is always (symbol ideals). This points to a MutableHashTable whose keys are lists of elements in a Groebner basis and which themselves point to how the ideal should be displayed. Note the trim command trims these ideals.