Addresses two sources of inconsistency in the output of enumpoly: - #1016

Addresses two sources of inconsistency in the output of enumpoly:#1016

tturocy merged 7 commits into

mastergambitproject/gambit:masterfrom

issue_591gambitproject/gambit:issue_591Copy head branch name to clipboard