Parecería que una consulta previa sería pertinente, pero no realmente para mí. Una de las respuestas se acerca, pero no está completa tal como está. Dado que la respuesta va a ser un número entero, todos los factores en el denominador se cancelarán. Los factores primos pueden ser eliminados por cualquier factor en el numerador que sea un múltiplo. El problema son los números compuestos; cancelarlos puede implicar múltiples factores en el numerador que comparten primos. Y está el problema auxiliar de determinar los factores primos de los compuestos (es decir ¿qué factor(es) compuesto(s) en el numerador debo cancelar contra un factor compuesto en el denominador).
Estoy pensando en una analogía con el cálculo del máximo común divisor de dos enteros positivos. Podrías determinar el MCD descomponiendo ambos argumentos en sus factorizaciones primas, luego usar el exponente mínimo para cada primo. Pero usar algo como el algoritmo de Euclides es mucho más fácil. Para un coeficiente multinomial, podría ejecutar una Criba de Eratóstenes hasta el factor máximo del numerador, usar esa tabla para obtener todas las factorizaciones primas aplicables, luego hacer un montón de cancelaciones, pero eso parece ser mucho trabajo. ¿Existe un procedimiento similar al del MCD de Euclides que podamos aplicar a los coeficientes binomiales?