The following modules comprise a complete distributive polynomial package:

a2dip           Converts a prefix form to distributive polynomial
bcoeff          Base coefficient arithmetic assuming rationals
consel          Constructors and selectors
dip2a           Converts distributive polynomials to distributive form
dipoly          Distributive polynomial arithmetic
dipprint        Distributive polynomial print routines
dipvars         Determines distributive polynomial variables in a form
expvec          Exponent vector arithmetic assuming generic operations
expvec1         Exponent vector arithmetic assuming fast integers


The following other modules are needed to complete the distributive
polynomial package:

farith  (arith) Support for fast arithmetic operators
gcdn    (arith) Numerical gcd routine using binary division
module  (rlisp) Support for "module", "endmodule", etc.
sort    (util)  Sorting routines
where   (rlisp) Support for "where" construct