¿Es asociativo el módulo?

Calcula ambos órdenes de la operación de resto — (a % b) % c a la izquierda y a % (b % c) a la derecha — y le indica si coinciden. Usted envía tres enteros y recibe ambos lados de la comparación junto con un true o false directo, calculado sobre enteros de precisión arbitraria, de modo que la respuesta es exacta para valores de cualquier tamaño realista. Si alguna posición de divisor fuera cero — b, c o el resto intermedio b % c — la solicitud se rechaza con un error claro en lugar de una sorpresa de división por cero. Es una verificación pequeña, pero es la que decide si una expresión de módulo encadenado en su código significa lo que usted cree que significa.

Por qué importa la agrupación en la operación de resto

La suma y la multiplicación son asociativas: (1 + 2) + 3 es igual a 1 + (2 + 3), siempre, así que nadie piensa en los paréntesis. La operación de resto no goza de tal garantía. La expresión a % b % c es ambigua sobre el papel, y la mayoría de los lenguajes de programación la resuelven evaluando de izquierda a derecha, lo que produce (a % b) % c. Si eso coincide con la agrupación alternativa a % (b % c) depende por completo de los tres valores implicados. Tome a = 17, b = 5, c = 3: la agrupación izquierda da (17 % 5) % 3 = 2 % 3 = 2, mientras que la derecha da 17 % (5 % 3) = 17 % 2 = 1. Las dos agrupaciones no coinciden, por lo que el módulo no es asociativo para esa terna. Pero con a = 8, b = 5, c = 3 ambos lados dan 0, y la operación resulta ser asociativa ahí. Esta capacidad existe porque esa distinción es fácil de pasar por alto en una revisión de código y tediosa de verificar a mano en todo un conjunto de parámetros candidatos: una sola llamada la resuelve de forma determinista, devolviendo ambos valores intermedios para que usted vea exactamente dónde divergen las dos agrupaciones en lugar de aceptar un booleano desnudo a ciegas.

Cómo se calcula la verificación y la regla del divisor cero

El cálculo es deliberadamente transparente. Primero cada entrada se interpreta como un entero — se aceptan tanto cadenas decimales como números JSON, y se usa aritmética de precisión arbitraria internamente, de modo que no hay techo de precisión en 2⁵³ ni redondeo en ningún punto del proceso. Luego el lado izquierdo se evalúa como (a % b) % c y el derecho como a % (b % c), donde % sigue la convención truncada familiar de JavaScript, C y Java: el resultado toma el signo del dividendo. Los dos resultados se comparan por igualdad exacta, y la respuesta se informa junto con ambos lados. Hay una situación en la que no existe respuesta booleana: la división por cero. Tres posiciones de divisor aparecen en las dos expresiones — b en a % b, c en (a % b) % c y el valor intermedio b % c como divisor del lado derecho. Si b o c es cero, o si b % c resulta ser cero para los valores dados, la solicitud se rechaza como entrada no válida con un mensaje que indica exactamente qué divisor falló. Ese error nunca se factura, por lo que puede sondear rangos de parámetros programáticamente con seguridad. Se aceptan entradas de hasta 2048 dígitos decimales por campo.

Dónde se gana su lugar esta verificación

El usuario más habitual es quien enseña o aprende teoría de números: las preguntas de asociatividad aparecen constantemente en libros de texto y listas de ejercicios, y poder verificar una afirmación sobre cientos de ternas en segundos convierte una tarea pesada en un experimento. El segundo usuario es un desarrollador que refactoriza lógica de cubos hash o de particionado, donde expresiones como h % m % n se cuelan y cambian de significado silenciosamente según el orden de evaluación: comprobar la asociatividad sobre los pares de módulos reales en producción le dice si una reescritura es segura. El tercero es cualquiera que construya una herramienta de matemática simbólica o de simplificación de expresiones, que debe saber qué reglas de reescritura son válidas antes de aplicarlas. La calculadora gratuita de esta página ejecuta exactamente el mismo código que el endpoint de pago, así que lo que usted pruebe en el navegador es lo que recibirá su integración. Las llamadas automatizadas cuestan $0.002 por solicitud, sin recargo por unidad. Envíe un objeto JSON con los campos a, b y c; la respuesta repite las entradas, informa left y right como cadenas decimales y da el veredicto final en el campo associative — true cuando ambas agrupaciones coinciden, false cuando no.