fix: tr. #676 (simplifyIdeal did not simplify)