Singular/Sources — pull request #521 by steenpass (2014-02-25 11:17:30+00:00)
Title: fix: use local degree ordering for highcorner()

(cherry picked from commit aeadebaaa1e1dd0a5398e4f834e5b5f8c29012de)

Signed-off-by: Andreas Steenpass