[Fix] Printing of subtraction
- Sep 14, 2023
-
-
Markus Holzer authored992cdc48
-
Markus Holzer authored2a95e87e
-
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