(plot_2d_diagram): show_function using line/point for both continuous and discontinuous cases
raise UnimplementedError uncovered intervals are found, for discontinuous case
Add minimal_uncovered_interval_example()
Fix a bug when convered_intervals is empty
Add minimal_has_uncovered_interval() and rename minimal_no_covered_interval()
Fix a bug
make compatible with changes in functions.sage