Ask HN: Is there a system formalizing US tax code as set of inequalities
The rules for taxes although complicated, still seems can be expressed with lots of equalities and inequalities. For example, there are multiple rules on 401k contributions, and it seems to be just set of inequalities:Let x be a 401k plan (the wording I'm using might not be correct) 1. employee contribution = after tax contribution + salary deferred
2. sum salary deferred over for all 401k plans <= 19500
3. salary…