I have been translating Dr. Dongming Wang's characteristic sets package
from maple to
maxima. I have gotten permission to distribute the code, and as of
today have 2 of
the tests in his test suite running. I still have more work to do, in
particular I need to
write some memoization functions, and get the other 56 tests running.
The characteristic sets package is described on Dr. Wangs web page
http://calfor.lip6.fr/~wang.
Dan Stanger