We present algebraic equivalences that allow to unnest nested algebraic expressions for order-preserving algebraic operators. We illustrate how these equivalences can be applied successfully to unnest ...

GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.