12.07.2015 Views

Algorithmes de calcul formel - Free

Algorithmes de calcul formel - Free

Algorithmes de calcul formel - Free

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

10.6 Exercices (algèbre linéaire)10.6.1 Instructions– Les comman<strong>de</strong>s d’algèbre linéaire <strong>de</strong> Xcas sont regroupées dans le menuMath->Alglin. En maple et mupad, la comman<strong>de</strong> ?linalg affiche laliste <strong>de</strong>s comman<strong>de</strong>s d’algèbre linéaire.– En maple il est conseillé d’exécuter with(linalg) ;, en mupad export(linalg) ;,sinon il faut précé<strong>de</strong>r chaque comman<strong>de</strong> <strong>de</strong> linalg : :.– En maple, attention il faut utiliser le caractère & avant la multiplication et ilfaut souvent utiliser evalm dans les programmes utilisant <strong>de</strong>s matrices etvecteurs.– Pour travailler avec <strong>de</strong>s coefficients modulaires, en Xcas on fait suivre les coefficientsou matrices <strong>de</strong> % n, en maple on utilise les noms <strong>de</strong> comman<strong>de</strong>savec une majuscule (forme inerte) suivi <strong>de</strong> mod n, en mupad on définit lescoefficients dans l’anneau, par exempleZ19:=Dom::IntegerMod(19): MatZ19 := Dom::Matrix(Z19):A:=MatZ19([[1, 2], [2]]); Z19(5)*A;10.6.2 Exercices1. En utilisant un logiciel <strong>de</strong> <strong>calcul</strong> <strong>formel</strong>, comparez le temps <strong>de</strong> <strong>calcul</strong> d’undéterminant <strong>de</strong> matrice aléatoire à coefficients entiers <strong>de</strong> tailles 50 et 100,d’une matrice <strong>de</strong> taille 6 et 12 avec comme coefficients symboliques lignej colonne k, x j+k lorsque j + k est pair et 0 sinon. Peut-on en déduire uneindication sur l’algorithme utilisé ?2. Écrire un programme <strong>calcul</strong>ant la borne <strong>de</strong> Hadamard d’un déterminant àcoefficients réels (rappel : c’est la borne obtenue en faisant le produit <strong>de</strong>snormes euclidiennes <strong>de</strong>s vecteurs colonnes).3. Créez une matrice 4x4 aléatoire avec <strong>de</strong>s coefficients entiers compris entre-100 et 100, <strong>calcul</strong>er la borne <strong>de</strong> Hadamard <strong>de</strong> son déterminant avec le programmeprécé<strong>de</strong>nt, <strong>calcul</strong>er ce déterminant modulo quelques nombres premierschoisis en fonction <strong>de</strong> la borne <strong>de</strong> Hadamard et vérifiez le résultat <strong>de</strong>la reconstruction modulaire du déterminant.4. Créez une matrice 100x100 aléatoire à coefficients entiers et <strong>calcul</strong>ez sondéterminant modulo quelques nombres premiers. Dans quels cas peut-onconclure que la matrice est inversible dans R ? dans Z ?5. Écrire un programme <strong>calcul</strong>ant par interpolation <strong>de</strong> Lagrange le polynômecaractéristique d’une matrice (en donnant à λ <strong>de</strong> <strong>de</strong>t(λI −A), n+1 valeursdistinctes).6. (Long) Écrire un programme qui <strong>calcul</strong>e un déterminant <strong>de</strong> matrice en <strong>calcul</strong>antles mineurs 2x2 puis 3x3 etc. (métho<strong>de</strong> <strong>de</strong> Laplace)7. Recherche du polynôme minimal. On prend un vecteur aléatoire à coefficientsentiers et on <strong>calcul</strong>e v, Av, ..., A n v puis on cherche une relation linéaireminimale entre ces vecteurs, en <strong>calcul</strong>ant le noyau <strong>de</strong> la matrice ayantces vecteurs colonnes. Si le noyau est <strong>de</strong> dimension 1, alors le polynômeminimal est égal au polynome caractéristique et correspond à un vecteur <strong>de</strong>la base du noyau. Sinon, il faut choisir un vecteur du noyau correspondant97

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!