compiler: fix division printing

Author: mloubout

.github/workflows/pytest-core-nompi.yml

@@ -172,7 +172,7 @@ jobs:
 
     - name: Test with pytest
       run: |
-        ${{ env.RUN_CMD }} pytest -k "${{ matrix.test-set }}" -m "not parallel" --cov --cov-config=.coveragerc --cov-report=xml ${{ env.TESTS }}
+        ${{ env.RUN_CMD }} pytest -k "${{ matrix.test-set }}" -m "not parallel" --cov --cov-config=.coveragerc --cov-report=xml tests/
 
     - name: Upload coverage to Codecov
       if: "!contains(matrix.name, 'docker')"

devito/symbolics/extended_sympy.py

@@ -622,6 +622,10 @@ def __new__(cls, name, arguments=None, template=None, **kwargs):
 
         return obj
 
+    def _eval_is_commutative(self):
+        # DefFunction is always commutative
+        return True
+
     @property
     def name(self):
         return self._name

tests/test_symbolics.py

@@ -14,7 +14,7 @@
                               CallFromPointer, Cast, DefFunction, FieldFromPointer,
                               INT, FieldFromComposite, IntDiv, Namespace, Rvalue,
                               ReservedWord, ListInitializer, uxreplace, pow_to_mul,
-                              retrieve_derivatives, BaseCast)
+                              retrieve_derivatives, BaseCast, SizeOf)
 from devito.tools import as_tuple
 from devito.types import (Array, Bundle, FIndexed, LocalObject, Object,
                           ComponentAccess, StencilDimension, Symbol as dSymbol)
@@ -906,3 +906,11 @@ def define(self, dimensions):
 
     op = Operator(eq_u)
     assert '--' not in str(op.ccode)
+
+
+def test_print_div():
+    a = SizeOf(np.int32)
+    b = SizeOf(np.int64)
+    cstr = ccode(a / b)
+    print(cstr)
+    assert cstr == 'sizeof(int)/sizeof(long)'