Thu, 25 Feb 2016 16:54:24 +0100 | eberlm | Merged | changeset | files |
Thu, 25 Feb 2016 16:44:53 +0100 | eberlm | Tuned Euclidean rings | changeset | files |
Fri, 26 Feb 2016 11:53:45 +0100 | immler | finite precision computation to determine sign for comparison | changeset | files |