[Fix] Printing of subtraction
- Markus Holzer authored
@@ -12,9 +19,9 @@ def test_print_infinity(type, negative, target):
@@ -23,3 +30,23 @@ def test_print_infinity(type, negative, target):
Subtraction is realised in SymPy with a multiplication of -1 and an addition. Since the -1 is casted in our typing system, it remains in the printer. This leads to many unnecessary number prints. We can avoid this by not casting the negative one