El MCD es el mayor entero no negativo que divide cada entrada. El MCM es el menor múltiplo común no negativo bajo la regla de cero indicada. Responden preguntas opuestas.

El MCD busca factores compartidos

Para 12 y 18 los divisores comunes son 1, 2, 3 y 6; el MCD es 6. Euclides llega al mismo resultado sin enumerarlos.

El MCM busca múltiplos compartidos

Para la misma pareja, 36 es el primer valor positivo divisible por 12 y 18. La identidad lcm(a,b)=abs((a/gcd(a,b))×b) lo calcula exactamente.

Verifica la aritmética y el contexto

GCDLCM comprueba identidades de divisibilidad antes de devolver el resultado, pero una respuesta exacta no demuestra que un plan, intervalo, componente, estructura, dosis, ruta, máquina o decisión de seguridad sea adecuado. Repite los resultados importantes de forma independiente y aplica solo las reglas del problema entero neutral.