Add missing assignment
Improve coercion to InputForm
remove dependence on "leadingMonomial(0)=0" and "reductum(0)=0"
Simplify output
Fix a typo
add ExtendedPolynomialReduction
Misc cleanups
Add types to disambiguate
Fix documentation and simplify implementation of 'max' in HOAGG
Fix a bug