Merge pull request #518 from steenpass/realclassify

fix: do not change sign of residual form in realclassify.lib
fix bug in radEHV for zero ideal
fix: use local degree ordering for highcorner()