Changes between Version 5 and Version 6 of NumericClasses


Ignore:
Timestamp:
Jun 21, 2007 4:42:50 PM (7 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NumericClasses

    v5 v6  
    130130   the divisor, in some well-founded sense, Euclid's algorithm terminates. 
    131131 * Defining `Ratio` also requires a canonical factorization of any 
    132    element as ''x'' as ''u''`*`''y'' where ''u'' is an invertible element 
     132   element as ''x'' as ''y''`*`''u'' where ''u'' is an invertible element 
    133133   (or ''unit'').  Any such ''y'' is called an ''associate'' of ''x''. 
    134134   For integral types (but not others), this is similar to `signum` and