diff options
| author | Yuren Hao <yurenh2@timan108.cs.illinois.edu> | 2025-09-04 22:16:22 -0500 |
|---|---|---|
| committer | Yuren Hao <yurenh2@timan108.cs.illinois.edu> | 2025-09-04 22:16:22 -0500 |
| commit | fc6d57ffb8d5ddb5820fcc00b5491a585c259ebc (patch) | |
| tree | e9841f93a353e2107225cfc721d1ce57c0e594dc /Qwen2.5-Eval/evaluation/latex2sympy/tests/floor_test.py | |
Initial commit
Diffstat (limited to 'Qwen2.5-Eval/evaluation/latex2sympy/tests/floor_test.py')
| -rwxr-xr-x | Qwen2.5-Eval/evaluation/latex2sympy/tests/floor_test.py | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/Qwen2.5-Eval/evaluation/latex2sympy/tests/floor_test.py b/Qwen2.5-Eval/evaluation/latex2sympy/tests/floor_test.py new file mode 100755 index 0000000..3961782 --- /dev/null +++ b/Qwen2.5-Eval/evaluation/latex2sympy/tests/floor_test.py @@ -0,0 +1,29 @@ +from .context import assert_equal, get_simple_examples +import pytest +from sympy import floor + +examples = get_simple_examples(floor) + + +@pytest.mark.parametrize('input, output, symbolically', examples) +def test_floor_func(input, output, symbolically): + assert_equal("\\floor({input})".format(input=input), output, symbolically=symbolically) + + +@pytest.mark.parametrize('input, output, symbolically', examples) +def test_floor_operatorname(input, output, symbolically): + assert_equal("\\operatorname{{floor}}({input})".format(input=input), output, symbolically=symbolically) + + +@pytest.mark.parametrize('input, output, symbolically', examples) +def test_floor_cmd(input, output, symbolically): + assert_equal("\\lfloor {input}\\rfloor".format(input=input), output, symbolically=symbolically) + assert_equal("\\left\\lfloor {input}\\right\\rfloor".format(input=input), output, symbolically=symbolically) + assert_equal("\\mleft\\lfloor {input}\\mright\\rfloor".format(input=input), output, symbolically=symbolically) + + +@pytest.mark.parametrize('input, output, symbolically', examples) +def test_floor_corners(input, output, symbolically): + assert_equal("\\llcorner {input}\\lrcorner".format(input=input), output, symbolically=symbolically) + assert_equal("\\left\\llcorner {input}\\right\\lrcorner".format(input=input), output, symbolically=symbolically) + assert_equal("\\mleft\\llcorner {input}\\mright\\lrcorner".format(input=input), output, symbolically=symbolically) |
