Add reduced_equal
Change definition of residual in range_equal
Add converter into int for easy use
Revise algorithm
Bug fix in range_equal
Revise zero-check
Merge branch 'reduced_equal'