Tour d'horizon des fonctionnalites

Premiers essais

> int(1/(1+x^2),x=0..infinity);

[Maple Math]

> sin(%);

[Maple Math]

> plot(sin(x),x=-Pi..Pi);

> p1:=%:

> series(sin(x),x=Pi,8);

[Maple Math]

> series(sin(x),x,8);

[Maple Math]

> convert(%,polynom);

[Maple Math]

> p2:=plot(%,x=-3*Pi/2..3*Pi/2):

> plots[display](p1,p2);

> plot3d(x^2-y^2,x=-10..10,y=-10..10);

Les fonctions d'aide

> ?plot

Entiers et rationnels

> 2+2;

[Maple Math]

> 2^10;

[Maple Math]

> 7^500;

[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]

> 100!;

[Maple Math]
[Maple Math]
[Maple Math]

> 1000!;

[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]

> igcd(1000!,7^500);

[Maple Math]
[Maple Math]

> 1000!/7^500;

[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]

> ?numtheory

C'est le premier exemple de package. Le help est omis ici, mais on y voit que certaines fonctions s'obtiennent directement :

> nextprime(10^20);

[Maple Math]

alors que d'autres ont besoin d'une forme d'appel plus longue :

> numtheory[cyclotomic](7,x);

[Maple Math]

ou :

> with(numtheory,cyclotomic):

> cyclotomic(8,x);

[Maple Math]

Algbre linaire

La syntaxe des matrices

> A:=array([[1,x,y],[x,y,z],[y,z,1]]);

[Maple Math]

Le package linalg contient les fonctions relatives aux matrices

> ?linalg

> linalg[det](A);

[Maple Math]

> linalg[charpoly](A,lambda);

[Maple Math]

> B:=subs(x=2,y=3,z=4,eval(A));

[Maple Math]

> linalg[jordan](B,'P');

[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]

> P;

[Maple Math]

> eval(P);

[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]

Le produit de matrices

> linalg[multiply](A,B);

[Maple Math]

ou

> evalm(A &* B);

[Maple Math]

Calculs polynomiaux

> p:=x^5*y+3*x^2+1;

[Maple Math]

> degree(p,x);

[Maple Math]

> coeff(p,x,2);

[Maple Math]

> expand((x+1)^20);

[Maple Math]
[Maple Math]
[Maple Math]

> factor(%);

[Maple Math]

un polynme alatoire :

> randpoly(x);

[Maple Math]

> factor(%);

[Maple Math]

Ceci prouve l'irrductibilit.

> f:=(1+x*(1+y))^2/(1-y^2);

[Maple Math]

> collect(f,x);

[Maple Math]

> collect(f,x,normal);

[Maple Math]

Un peu plus de vrai calcul :

> P:=x^10-v*x^9-x+v;Q:=2*x^3+5*u*x^2+2*u^2*x+x+2*u;

[Maple Math]

[Maple Math]

> rem(P,Q,x);

[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]

on a aussi le pgcd

> gcd(P,Q);

[Maple Math]

et la version Bezout (plus lente) :

> gcdex(P,Q,x,'U','V');

[Maple Math]

on a donc [Maple Math] , avec

> 'U'=U,'V'=V;

[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]

On peut verifier

> normal(U*P+V*Q);

[Maple Math]

Bien sr, la primalit relative ne survit pas la spcialisation :

> resultant(P,Q,x);

[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]

> factor(%);

[Maple Math]
[Maple Math]

> gcd(P,subs(u=-3,Q));

[Maple Math]

On peut aussi manipuler des fractions

> f:=7/((x+1)^7-x^7-1);

[Maple Math]

> convert(f,parfrac,x);

[Maple Math]

recherche des racines exactement

> solve(1/f,x);

[Maple Math]

> solve(a*x^3+b*x^2+c*x+d,x);

[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]

ou numeriquement

> fsolve(f=1,x);

[Maple Math]

on peut aussi trouver les racines complexes d'un polynome

> fsolve(numer(f-1),x,complex);

[Maple Math]
[Maple Math]

> fsolve(numer(f-1),x);

[Maple Math]

> Digits:=100:

> fsolve(numer(f-1),x,complex);

[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]
[Maple Math]

Toutes les solutions ne s'expriment pas facilement

>

> solve(x^7+x+1,x);

[Maple Math]

On peut manipuler cet objet avec evala (a pour algebrique)

> alias(alpha=%);

[Maple Math]

> evala(Normal((alpha^5+1)/(alpha^2-1)));

[Maple Math]

On peut aussi compter le nombre de racines sur un intervalle de R

> readlib(sturm):

> sturm(sturmseq(x^7+x+1,x),x,-infinity,infinity);

[Maple Math]

et quelques autres simplifications sont possibles

> sum(x^10,x=RootOf(x^4+a*x+b,x));

[Maple Math]

Primitives, equations differentielles

> int(1/(x^2-2),x);

[Maple Math]

> int(exp(x^2),x);

[Maple Math]

> int(exp(x^3),x);

[Maple Math]

> int(tanh(x^2),x);

[Maple Math]

Ceci prouve qu'il n'y a pas de primitive elementaire.

Des intgrales dfinies (par recherche en table) :

> int(exp(-x^2)*log(x),x=0..infinity);

[Maple Math]

et un peu de transformes de Fourier

> ?inttrans

> inttrans[fourier](1/(1+x^2),x,s);

[Maple Math]

> plot(%,s=-10..10);

> deq:=diff(y(x),x,x)^2=(1+diff(y(x),x))^3;

[Maple Math]

> subs(x=0,diff(y(x),x));

[Maple Math]

> %;

Error, wrong number (or type) of parameters in function diff

> dsolve({deq,y(0)=0,D(y)(0)=1},y(x));

[Maple Math]

> deq:=(x^3/2-x^2)*diff(y(x),x,x)+(2*x^2-3*x+1)*diff(y(x),x)+(x-1)*y(x);

[Maple Math]

> dsolve(deq,y(x));

[Maple Math]

Un (tout petit) peu d'EDP :

> ?PDEtools

> ?examples,vib_membrane

Suites et series

> rsolve({u(n+2)=u(n+1)+u(n),u(0)=1,u(1)=1},u(n));

[Maple Math]

> v:=(3*n^3-10*n^2-9*n+11)*(n+1)!*2^n/(2*n+3)!/(n-5)/(n-4);

[Maple Math]

> Sum(v,n)=sum(v,n);

[Maple Math]

Quelques sommations definies

> sum(n!*z^n/(2*n+1)!,n=0..infinity);

[Maple Math]

Developpement en series

> f:=(sin(Pi/(6+x))+cos(Pi/(3+x)))^(1/x);

[Maple Math]

> series(f,x,4);

[Maple Math]
[Maple Math]

> series(arccos(1-x),x);

[Maple Math]
[Maple Math]

> asympt(n!,n);

[Maple Math]
[Maple Math]
[Maple Math]

>

Une session reelle est un melange de tout ca, avec experimentations, calculs de valeurs numeriques, petites procedures,...