diff options
| author | zitian-gao <zitian.gao@outlook.com> | 2025-05-27 16:45:31 +0800 |
|---|---|---|
| committer | zitian-gao <zitian.gao@outlook.com> | 2025-05-27 16:45:31 +0800 |
| commit | 7c792461c8e4e4f1f8734fed143630c74e76b27f (patch) | |
| tree | cf6341ff9f2727424751da7a11a3bea6c39015bb /Qwen2.5-Eval/evaluation/latex2sympy/tests/floor_test.py | |
| parent | 16815c8c5ec263c4bd1a0af60030c1c0efa1421e (diff) | |
init eval
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) |
