Changes between Version 5 and Version 6 of NumericClasses

Show
Ignore:
Timestamp:
06/21/07 09:42:50 (6 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