Euclid’s recursive program based algorithm to compute GCD (Greatest Common Divisor) is very straightforward. If we want to compute gcd(a,b) and b=0, then return **a**, otherwise, recursively call the function using a=b and b=a mod b.

There is an extension to the basic Euclid’s algorithm for GCD and it computes, besides the greatest common divisor of integers a and b, the coefficients of Bézout’s identity, that is integers m and n such that **ma + nb = gcd(a, b)**. The value of m & n may also be zero or negative. This algorithm, to compute the value of gcd and the coefficients, is also based on recursion. The following python code explains how does the algorithm work. The below code also has basic GCD algorithm just for reference.

```
def gcd(a,b):
if (b==0):
g = a
else:
g=gcd(b,a%b)
return g
def extended_gcd(a,b):
if (b == 0):
# if b =0, then return g =a, m=1, n=0
print a,"\t",b,"\t",a,"\t",1,"\t",0
return (a,1,0)
else:
# if b is not 0, then recursively call the function to get the value of
# g,m,n at each step. The code also displays the value of a,b at each step
(g,m,n) = extended_gcd(b,a%b)
print a,"\t",b,"\t",g,"\t",n,"\t",m-(a//b)*n
return(g,n,m-(a//b)*n)
x=26
y=15
ans=gcd(x,y)
print "gcd: ", ans
print "a" + "\t" + "b" + "\t" + "g" +"\t" + "m" + "\t" + "n"
print "-"*35
extended_gcd(x,y)
```

When I used a=26 and b=15, I got the following output. If you take the
values of g,m,n at any step, you will find that they satisfy the
expression **ma + nb = gcd(a, b)**

```
gcd: 1
a b g m n
-----------------------------------
1 0 1 1 0
3 1 1 0 1
4 3 1 1 -1
11 4 1 -1 3
15 11 1 3 -4
26 15 1 -4 7
```

Gгeetings! Very helpful advice within this artіcle!

It’ѕ the little changes whicһ will make thе most signifiсant

changes. Thanks for sһaring!