Newer version will be uploaded here in January.  It is not really different from the older version
except now the simplification program is called NormalForm, and it is a key tool for other programs
that I'll list here as well.