Computer algebra and parallelism: pac system architecture and rationnal arithmetic

Calcul formel et parallélisme : l'architecture du système PAC et son arithmétique rationnelle

Jean-Louis Roch (1)

1 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble

Pac est un système de calcul formel dédié a une machine Mind massivement parallèle. Dans une première partie, l'architecture du système est décrite. Elle est illustrée par une modélisation théorique et pratique de la parallélisation du produit de deux polynômes. Le système Pac est implante sur la machine t40 de Fps (32 processeurs). Dans une deuxième partie, l'arithmétique nodale en précision infinie sur les rationnels est étudiée. Différents algorithmes sont dégagés, notamment pour la multiplication, la division et le pgcd d'entiers de taille quelconque. Une vectorisation de l'arithmétique de base est discutée et expérimentée

Mots clés: calcul formel; parallélisme; vectorisation; arithmétique; précision infinie; polynômes; division d'entiers; pgcd d'entiers; système de calcul formel

Domaines: Modélisation et simulation

Jean-Louis Roch. Calcul formel et parallélisme : l'architecture du système PAC et son arithmétique rationnelle. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1989. Français. ⟨NNT : ⟩. ⟨tel-00334457⟩