Arageli Code

Added msvs 2015 Express projects. Valentin Kubarev by Nikolai Yu. Zolotykh’s request

Create branch for investigating and fixing bug #3031060: incorrect string->sparse_polynom conversion

Implemented VS-specific way to more accurate estimate of rounding error through switching of rounding modes between DOWN and UP to calculate interval limits more precisely.

- Implemented adjustment to correctly estimate round errors for interval<float> and interval<double>. It significantly overestimates the error. Not all cases work correctly. Not tested much.
- Undefined_sign gets a parameter in constructor to be able to inform about interval with undefined sign.

Implemented new format for inputting interval<T> values: now it is possible to input one-point intervals as just an object of T. So in addition to (x,y) syntax, it is also possible to write just x to have (x,x) interval.

Merged from trunk 418-459.

Introduced absolute error metric in addition to relative error metric. Controlled by switch --absolute.

Fixed bug in traverse.

- Implemented epsilon adjustment mode which allows automatic tuning of epsilon value to have well-formed matrix in tree building. Controlled by --epsilon_adjust command line switch.

- Change normalization: now rows of matrix are normalized by greatest one in absolute value. This should fix possible problems for almost zero values in first position of a matrix row.

Implemented the first version of phdiff tool: a comparator for polyhedrons. It accepts the same format of polyhedrons as Polyhedron tool generates. Floating point and integer types are allowed for matrix elements.