Changes between Version 5 and Version 6 of NumericClasses
 Timestamp:
 Jun 21, 2007 4:42:50 PM (10 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

NumericClasses
v5 v6 130 130 the divisor, in some wellfounded sense, Euclid's algorithm terminates. 131 131 * Defining `Ratio` also requires a canonical factorization of any 132 element as ''x'' as '' u''`*`''y'' where ''u'' is an invertible element132 element as ''x'' as ''y''`*`''u'' where ''u'' is an invertible element 133 133 (or ''unit''). Any such ''y'' is called an ''associate'' of ''x''. 134 134 For integral types (but not others), this is similar to `signum` and