CHAPITRE XII Exemples d'anneaux effectifs The mathematician is entirely free, within the limits of his imagination, to construct what worlds he pleases. John W. N. Sullivan Objectifs ? Expliciter ce qu'il faut pour rendre un anneau effectif. ? Implementer les nombres rationnels comme un exemple de base. ? Plus generalement, implementer le corps des fractions ou un anneau quotient. Un anneau est effectif s'il existe une maniere de representer chacun de ses elements sur ordinateur et des algorithmes pour effectuer chacune des operations de l'anneau dans la representation choisie. L'ap- proche effective est une vraie restriction quant aux anneaux en question et un important defi quant a l'ingeniosite algorithmique. Ce chapitre precise ce que l'on exige d'un anneau effectif, discute quelques exemples typiques, et presente des implementations possibles. Notre exemple phare est, bien sur, l'anneau Z. La representation des entiers et les algorithmes de base ont ete discutes aux chapitres II, IX, et XI. On discute dans le present chapitre son corps des fractions Q et on reconsidere les quotients Zn, constructions que l'on generalise a d'autres anneaux. Le projet a la fin traite de l'anneau Z[i] des entiers de Gauss. Voici trois exemples importants et assez representatifs pour illustrer l'etendue du concept : Exemple 0.1. L'anneau Q[ √ 2] est effectif : c'est un Q-espace vectoriel a base (1, √ 2).
- classe rationnel
- anneau
- homomorphisme d'anneaux injectif
- construction du corps des fractions
- operations de l'anneau dans la representation choisie
- affectation par copie
- rationnel
- a?
- corps de fractions
- representation