bugfix, linrelax call
strategy choice, fixing a bug, finding a new bug..
documentation of rounding modes
degree.. continuing
fixing a bug in degree.ml
comment in the degree file
fixing a bug in degree
*** empty log message ***
in degree.ml, I added a quadratic function of degree two, for testing..