bugfix relaxation flag
no messages
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 ***
