请实现欧几里得算法，计算两个正整数的最大公约数。

回答思路

1. 正确描述欧几里得算法原理（gcd(a,b)=gcd(b,a mod b)）
2. 给出递归或迭代的清晰实现，注意终止条件
3. 说明对数级别时间复杂度与基准情况（b为0时返回a）
4. 能处理两数相等、一数为0、较大数在前等边界情况