proposal to rename mod to polymod, was: Fixing up the mod function to produce only positive results?



Hello,

I've renamed mod --> polymod and nummod --> mod.
There were changes in src/, tests/, share/, and doc/info/.
The new polymod and mod work as expected.

Hope this helps,
Robert Dodier