proteus.equivalent_polynomials module