4 Commits

Author	SHA1	Message	Date
Louis Dionne	9895803ede	Bump copyright year to 2017	2017-01-07 14:14:18 -08:00
Louis Dionne	23c3edc93b	[NFC] Un-Doxygenize comments in non-header files	2016-02-04 11:07:41 -05:00
Louis Dionne	c41a5cb6be	Update copyright notices for 2016	2016-01-01 14:54:06 -05:00
Louis Dionne	35da925d19	[IntegralDomain] Rename to EuclideanRing ... Note that no `norm` function is added for now, since the `norm` is not tied to the specific Euclidean ring as explained in [1]. However, it might be useful to enforce an arbitrary choice to be made for each Euclidean ring. This could perhaps be added in the future. Fixes #28 [1]: https://en.wikipedia.org/wiki/Euclidean_domain#Definition	2015-10-08 14:42:22 -04:00