Not executing some theorytransformation causes bug in

Issue #941 new
Joachim Jansen created an issue

Related commit: 3f1a15a

Somehow, not executing the transformation replaceVariablesUsingEqualities causes the ground-and-solve workflow to not be correct.

How to reproduce: disable line added in commit 3f1a15a and run tests/mx/simplemx/partialfuncinsum.idp

Comments (0)

  1. Log in to comment