*** empty log message ***
Merge branch 'master' of https://github.com/mkoeppe/infinite-group-relaxation-code
Implement plotting code for discontinuous functions
Merge branch 'discontinuous_plotting'
Add shorthand constructors closed_interval, open_interval, ...