1The data representation even for polynomials is diļ¬erent from that given in the GROEBNER package distributed with REDUCE (and rests on ideas in the DIPOLY package).