Wed, 04 Jan 2017 21:28:29 +0100 | haftmann | reworked to provide auxiliary operations Euclidean_Algorithm.* to instantiate gcd etc. for euclidean rings | file | diff | annotate |
Wed, 04 Jan 2017 21:28:28 +0100 | haftmann | reshaped euclidean semiring into hierarchy of euclidean semirings culminating in uniquely determined euclidean divion | file | diff | annotate |
Sat, 17 Dec 2016 15:22:13 +0100 | haftmann | restructured matter on polynomials and normalized fractions | file | diff | annotate |