##### ###### ##### ### # # ### # # ###### ## ## ## ## ## ## ## # # # # # ## ##### #### ##### # # # # # # # #### ## # ## ## ## ## # # # # # ## ## # ###### ## ### # ### # ######
##### ###### ##### ### # # ### # # ###### ## ## ## ## ## ## ## # # # # # ## ##### #### ##### # # # # # # # #### ## # ## ## ## ## # # # # # ## ## # ###### ## ### # ### # ######
Maintaining the hull
When adding line with slope :
While the deque has lines, check if the last line is now dominated.
Let be second-to-last, be last. If loses to both and everywhere between their intersections, pop .
Formally: if , then is useless. Pop it.
Push . This maintains the lower envelope invariant.
