[m-dev.] question about excess.m, simplify.m, and dnf.m

[Simon TAYLOR]

Hi,

> Is there any good reason for keeping excess.m around?

I may want to add a version of excess assignment removal that maintains
superhomogeneous form.

> Zoltan, is there any reason why dnf.m needs to called
> excess_assignments_proc directly?

No.

> Would running simplify.m
> sometime after dnf.m work just as well?

Yes.

Simon.