remove dependence on "leadingMonomial(0)=0" and "reductum(0)=0"
Authored by: hemmecke 2018-07-12
Parent: [r2493]
Child: [r2495]