Added a simplification function to simplify expressions using a given equality a = b + c
, by replacing occurences of e.g. b + c
by a
, or a - b
by c
.
Dear CS10-Gitlab-users, on Wednesday, April 3rd 2024 there will be maintenance on the power grid. This will lead to a downtime of the CS10 Gitlab including Mattermost chat starting from 06:00 until around 13:00.
Added a simplification function to simplify expressions using a given equality a = b + c
, by replacing occurences of e.g. b + c
by a
, or a - b
by c
.