Vous êtes sur la page 1sur 128

Calcul alg ebrique et formel

T Gautier N Revol J L Roch et G Villard

ENSIMAG

TABLE DES MATI ERES

Table des mati eres

Introduction a Maple

 

Maple un syst eme de calcul formel

Pr esentation de Maple

 

 

L interpr eteur Maple

Calculer avec des symboles

Pr ecisions sur la syntaxe

Les

op erateurs

 

Les

instructions

Instruction conditionnelle

Les structures de donn ees

 

Les fonctions

 

D eclaration

Compl ement

 

Manipulation des expressions

 

 

Evaluation

 

Conversion des structures de donn ees

Simpli cation

Repr esentation des expressions les fonctions op nops et whattype

Modi cation des expressions les fonctions subsop et subs

Appliquer une fonction sur tous les el ements d une structure de donn ees la

 
 

fonction map

 

 

Les fonctions de la biblioth eque de Maple

 

Aide en ligne

 

Organisation de la biblioth eque Maple

Alg ebre lin eaire

Sortie graphique

 

 

Comment faire pour

 

mesurer les performances d un algorithme

ecrire une page d aide sous Maple

etudier un algorithme d une fonction de la biblioth eque

Alg ebre lin eaire

 

Fonctionnalit es de base

Initialisation et evaluation de matrices

Construction de matrices sous matrices

 

Op erations el ementaires

 

Limitations

TABLE DES MATI ERES

Syst emes lin eaires et inversion de matrices

 

M

ethode

de Bareiss

 

M

ethode

p adique

 

Valeurs propres

Formes

canoniques

similitude

 

Formes

canoniques

equivalence

Premi

eres

notions

 

Premi

eres

notions de cout

Algorithmes

d eterministes

Algorithmes

probabilistes

 

Programmer sur des domaines plus compliqu es

Conclusion

Travaux pratiques

Factorisation

 

Calcul dans un corps

ni

Calculer

dans

F

p

avec

Maple

Calculer

dans

F

q

avec

Maple

Propri et

es

el ementaires

 

Th eor eme chinois des restes

L exemple de la recherche de cha nes de caract eres

Factorisation Algorithme de Berlekamp

 

Factorisation

e

sans carr

Factorisation

dans F p x

Cas des rationnels

Compl ements

 

Conclusion

Bases de Gr obner

 

Polyn omes a

plusieurs ind etermin

ees

 

L anneau des polyn a plusieurs ind etermin ees sur un corps ou un anneau

omes

Parties stables de n

fronti eres escaliers bases de Gr obner

Division et pseudo division d Hironaka

Division

d Hironaka

Division d Hironaka et base de Gr obner

Algorithme de division

Pseudo division d Hironaka

 

Algorithme de

Buchberger

S polyn ome

Algorithme de Buchberger