Massimo Comun Divisore

> gcd(25,40):

> igcd(25,40):

Per il teorema di Bezout, dati due interi a e b, esistono due interi s e t tali che :

In Maple il comando igcdex (gcd esteso; i sta per "integer", ex sta per "extended") fornisce il MCD e i due interi s e t. Nel comando, s e t sono opzionali:

> igcdex(25,40,'s','t');s;t;

> igcdex(25,40);

> s;

> t;

> s*25+t*40;

Con igcd si puo' calcolare il MCD di piu' interi (ma non i coefficienti di Bezout):

> igcd(25,40,35,1245);

> gcd(24,16,a,b);

> a;

> b;

Nel comando gcd(x,y,a,b), a e b indicano rispettivamente:

                               

                                  a = x/gcd(x, y)     e   b = y/gcd(x, y)

(cofattori, relativamente primi).