Função ExtendedGreatestCommonDivisorL
Nome totalmente qualificado: Std.Math.ExtendedGreatestCommonDivisorL
function ExtendedGreatestCommonDivisorL(a : BigInt, b : BigInt) : (BigInt, BigInt)
Resumo
Retorna uma tupla (u,v) de modo que ua+vb=GCD(a,b) Observação: GCD é sempre positivo, exceto que GCD(0,0)=0.