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
Faster characteristic polynomial over finite fields
Fix fragile overloading