Updated to Python 3.12 (#247)

* Updated to Python 3.12

* Handle infinity Unicode symbol and fix infinite value comparison

Added ∞ as an alias for oo so students can use the Unicode infinity
symbol as input. Fixed comparison of infinite expressions by using
direct sympy comparison instead of subtraction, since oo - oo yields
nan rather than 0.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

* Handled exceptions for is_infinite checks during symbolic expression comparison

* Updated sympy to 1.13

* Updated sympy to 1.14 and mpath to 1.4.1

* Update CI to use Python 3.12

* Changed mpmath version

* Switched Dockerfile base image to apt package manager for Git installation.

* Switched to use dnf

* Added find to installed requirements

* Set PYTHONPATH in Dockerfile and updated CMD entrypoint format

---------

Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: m-messer

.github/workflows/staging-deploy.yml

@@ -18,7 +18,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        python-version: ["3.8"]
+        python-version: ["3.12"]
     steps:
       - name: Checkout
         uses: actions/checkout@v4

.github/workflows/test-lint.yml

@@ -15,7 +15,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        python-version: ["3.8"]
+        python-version: ["3.12"]
     steps:
       - name: Checkout
         uses: actions/checkout@v4

app/Dockerfile

@@ -1,12 +1,14 @@
 # Base image that bundles AWS Lambda Python 3.8 image with some middleware functions
 # FROM base-eval-tmp
 # FROM rabidsheep55/python-base-eval-layer
-FROM ghcr.io/lambda-feedback/baseevalutionfunctionlayer:main-3.8
+FROM ghcr.io/lambda-feedback/baseevalutionfunctionlayer:main-3.12
 
-RUN yum install -y git
+RUN dnf install -y git findutils && dnf clean all
 
 WORKDIR /app
 
+ENV PYTHONPATH=/app
+
 # Copy and install any packages/modules needed for your evaluation script.
 COPY requirements.txt .
 RUN pip3 install -r requirements.txt
@@ -57,4 +59,4 @@ RUN chmod 644 $(find . -type f)
 RUN chmod 755 $(find . -type d)
 
 # The entrypoint for AWS is to invoke the handler function within the app package
-CMD [ "/app/app.handler" ]
+CMD [ "app.handler" ]

app/context/symbolic.py

@@ -1,5 +1,5 @@
 from copy import deepcopy
-from sympy import Add, Pow, Mul, Equality, pi, im, I, N
+from sympy import Add, Pow, Mul, Equality, pi, im, I, N, oo
 from sympy import re as real_part
 
 from ..utility.expression_utilities import (
@@ -83,6 +83,22 @@ def create_expressions_for_comparison(criterion, parameters_dict, local_substitu
     return lhs_expr, rhs_expr
 
 
+def do_comparison_infinite(comparison_symbol, lhs_expr, rhs_expr):
+    # When either side is infinite, subtracting (e.g. oo - oo) yields nan, making
+    # the subtraction-based do_comparison unreliable. Compare the sides directly instead.
+    direct_comparisons = {
+        "=": lhs_expr == rhs_expr,
+        ">": lhs_expr > rhs_expr,
+        ">=": lhs_expr >= rhs_expr,
+        "<": lhs_expr < rhs_expr,
+        "<=": lhs_expr <= rhs_expr,
+    }
+    try:
+        return bool(direct_comparisons[comparison_symbol.strip()])
+    except Exception:
+        return None
+
+
 def do_comparison(comparison_symbol, expression):
     comparisons = {
         "=": lambda expr: bool(expression.cancel().simplify().simplify() == 0),
@@ -106,7 +122,14 @@ def check_equality(criterion, parameters_dict, local_substitutions=[]):
     elif not isinstance(lhs_expr, Equality) and isinstance(rhs_expr, Equality):
         result = False
     else:
-        result = do_comparison(criterion.content, lhs_expr-rhs_expr)
+        try:
+            either_is_infinite = lhs_expr.is_infinite or rhs_expr.is_infinite
+        except (KeyError, TypeError):
+            either_is_infinite = False
+        if either_is_infinite:
+            result = do_comparison_infinite(criterion.content, lhs_expr, rhs_expr)
+        else:
+            result = do_comparison(criterion.content, lhs_expr-rhs_expr)
         # There are some types of expression, e.g. those containing hyperbolic trigonometric functions, that can behave
         # unpredictably when simplification is applied. For that reason we check several different combinations of
         # simplifications here in order to reduce the likelihood of false negatives.

app/requirements.txt

@@ -1,6 +1,6 @@
 pydot
 typing_extensions
-mpmath==1.2.1
-sympy==1.12
+mpmath==1.3.0
+sympy==1.14
 antlr4-python3-runtime==4.7.2
 git+https://github.com/lambda-feedback/latex2sympy.git@master#egg=latex2sympy2

app/tests/symbolic_evaluation_test.py

@@ -784,10 +784,6 @@ def test_warning_inappropriate_symbol(self):
                 '(0,002*6800*v)/1,2',
                 '(0.002*6800*v)/1.2'
             ),
-            (
-                '-∞',
-                '-inf'
-            ),
             (
                 'x.y',
                 'x*y'
@@ -1949,6 +1945,11 @@ def test_unexpected_equalities_in_response_that_generates_set(self):
         result = evaluation_function(response, answer, params)
         assert result["is_correct"] is False
 
+    def test_infinity_unicode_symbol(self):
+        params = {'strict_syntax': True, 'elementary_functions': True}
+        result = evaluation_function('-∞', '-inf', params)
+        assert result["is_correct"] is True
+
     def test_infinity_alias(self):
         response = "2.694"
         answer = "infinity"

app/utility/expression_utilities.py

@@ -62,7 +62,7 @@ def _print_log(self, expr, exp=None):
     ('acsch', ['arccsch', 'arccosech']), ('asech', ['arcsech']),
     ('exp', ['Exp']), ('E', ['e']), ('log', ['ln']),
     ('sqrt', []), ('sign', []), ('Abs', ['abs']), ('Max', ['max']), ('Min', ['min']), ('arg', []), ('ceiling', ['ceil']), ('floor', []),
-    ('oo',['Infinity', 'inf', 'infinity']),
+    ('oo',['Infinity', 'inf', 'infinity', '∞']),
     # Special symbols to make sure plus_minus and minus_plus are not destroyed during preprocessing
     ('plus_minus', []), ('minus_plus', []),
     # Below this line should probably not be collected with elementary functions. Some like 'common operations' would be a better name