Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

`\frac` and `\sqrt` shorthand with a command argument (`\frac\pi4`, `\sqrt\pi`) is mangled, which can verify a wrong answer

Abierto Apto para principiantes
  • ¿Algo no está bien?
#102 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
2/5
Tiempo estimado
1-3 horas
Aptitud para principiantes
78/100
Tipo de issue
Error
Claridad
Bien especificado
Estado de actividad
Activo
Stack tecnológico
python
Área
backend

Línea de trabajo

Lee math_normalization.py, especialmente _fix_fracs y _fix_sqrt en las líneas enlazadas. Reproduce el problema con los ejemplos proporcionados \frac\pi4 y \sqrt\pi; después, comprueba cómo las pruebas existentes cubren los argumentos abreviados. Se considera terminado cuando los argumentos de los comandos se mantienen completos en ambas funciones y los casos de verificación proporcionados producen los resultados esperados.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

_fix_fracs and _fix_sqrt in latex2sympy2_extended's math_normalization.py treat the first character after \frac or \sqrt as a whole argument. When the argument is a command such as \pi, they split it: the backslash becomes one argument and the command's first letter the next. The result either fails to parse or parses to a different value.

Reproduction with math-verify 0.9.0 and latex2sympy2_extended 1.11.0:

from math_verify import parse, verify

P = lambda s: parse("$" + s + "$")

P(r"\frac\pi4")    # ['\\frac{\\}{p}i4']        no expression
P(r"\frac \pi4")   # ['\\frac{\\}{p}i4']        no expression
P(r"\frac 1\pi")   # [1, '\\frac{1}{\\}pi']     parses as 1
P(r"\sqrt\pi")     # ['\\sqrt{\\}pi']            no expression
P(r"\frac{\pi}{4}")  # [pi/4, ...]               braced form is fine

verify(P(r"\frac \pi4"), P(r"\frac{\pi}{4}"))         # False, should be True
verify(P(r"\frac \pi4 + 2 - \sqrt2"), P("2"))          # True, should be False

The last case is a wrong answer verified as correct. The gold parses to 2 because the mangled fraction drops out. That gold is a real one: it is the boxed answer of a problem in the MATH test set, written \frac \pi4 + 2 - \sqrt2.

Cause: in _fix_fracs, after substr.lstrip() the code takes a = substr[0] and b = substr[1] as single characters. _fix_sqrt does the same with a = split[0]. Both come from Hendrycks' MATH code (math_equivalence.py), which has the same limitation.

Suggested fix: when the next character is a backslash, take the whole command (\\[a-zA-Z]+) as the argument, in both functions. For example, read each argument with a pattern like \\[a-zA-Z]+|[^\s{}\\]. \frac\pi4 then becomes \frac{\pi}{4}, and \sqrt\pi becomes \sqrt{\pi}.

Posted by Claude Code on Matt's behalf.

Lenguaje dominante
Python
Estrellas
1.2k
Forks
67
Sin PR fusionados en 30 d

Preparar el entorno

Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de huggingface/Math-Verify

Todos los issues de huggingface/Math-Verify

Issues similares

Más issues de Python

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.