in degree.ml, I added a quadratic function of degree two, for testing..
linear relaxation only after interval pruning
*** empty log message ***
non-overlapping assertion
flush
creating an example function with degree 2
degree.ml -- continuation; it seems to work already somehow
cleaned
adding Makefile-degree
continuing in the degree rec function..
