Calcul parallèle du polynôme minimal entier avec Athapascan-1 et Linbox
نویسنده
چکیده
Une brique essentielle du calcul formel est le calcul du polynôme minimal d’une matrice creuse entière. Nous montrons, en analysant les performances pratiques de la parallélisation de cet exemple, l’adéquation du modèle de programmation parallèle Athapascan-1 [11, 6] avec un traitement portable et efficace de grands problèmes fondamentaux du calcul formel. En outre, cet algorithme a permis un premier calcul pour le groupe d’homologie d’un couplage complet à 13 sommets [2] par le calcul de la forme normale de Smith entière d’une matrice de dimensions 135135× 270270 [9].
منابع مشابه
Aspects logiques
Ceci est la version 6 de la deuxième partie du cours de lambda-calcul, datant du 05 avril 2016 (merci à Nathanaël Courant et à David Baelde). La version 5 datait du 02 juin 2014. La version 4 datait du 28 janvier 2011. (Bizarrement, je n’avais pas remarqué quelques erreurs présentes depuis dix ans dans la démonstration des théorèmes de normalisation forte. Merci à Hang Zhou et à Arthur Milchior...
متن کاملWhole-body fuel selection in ruminants: nutrient supply and utilization by major tissues.
L’utilisation de 1’Cnergie par l’animal dCpend de l’utilisation de 1’Cnergie par les differents tissus corporels. Chez les ruminants, les viscbres drainis par le sang portal et le foie reprksentent respectivement jusqu’ii 12 et 2% du poids vif, mais contribuent pour 16-29% et 17-31% aux dCpenses Cnergetiques totales. A l’oppod, la contribution des masses musculaires (35-50% du poids corporel) a...
متن کاملIléus biliaire colique: une cause rare d’occlusion colique
Résumé L'iléus biliaire avec migration du calcul dans le côlon à travers une fistule cholécystocolique est rare. Le diagnostic est difficile et souvent tardif. Nous rapportons ici le cas d'une patiente de 89 ans aux antécédents d'une diverticulose du sigmoïde, qui a présenté une occlusion colique en rapport avec un iléus biliaire par migration d'un gros calcul à travers une fistule cholécysto-c...
متن کاملVers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox
héritage // polymorphisme Envelope param. template // _ _ _ Envelope〈Zp〉 instanc. // _ _ _ Envelope〈Zp〉 E2(2) ; Archetype // _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ instanciation Archetype A2(&E2) ; Figure 2. Un diagramme DML pour l’architecture des corps dans LINBOX, avec une enveloppe à héritage Il apparaît clairement que la différence entre les deux diagrammes est l’instanciation du corps . En...
متن کاملAlgorithmes de calcul de la réduction de Hermite d'une matrice à coefficients polynomiaux
Résumé : Nous étudions dans cet article des algorithmes de calcul de la réduction de Hermite d'une matrice a coefficients polynomiaux, qui évitent l'explosion de la taille des objets intermédiaires et ont une bonne complexité séquentielle. Le deuxième et le troisième algorithmes généralisent la méthode des sous-résultants pour le calcul du pgcd de deux polynomes. Le dernier de ces algorithmes s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010