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