refactor(polynomial_dfs): clean up and be stricter about polynomial degree#453

ioxid wants to merge 1 commit intomasterNilFoundation/placeholder:masterfrom

452-ioxid-strict-polynomial-degreeNilFoundation/placeholder:452-ioxid-strict-polynomial-degreeCopy head branch name to clipboard