12
$\begingroup$

It is stated at the Wolfram Documentation Center (FullSimplify/Possible Issues) that:

enter image description here

Why and when this could happen? How to avoid it? Any patterns?

Edit:

As pointed out in the comments, this question is a duplicate.

$\endgroup$
7
  • $\begingroup$ The first examle mighe be FullSimplify[(1 - b^2)/c^2, c^2 + b^2 == 1]. $\endgroup$
    – Artes
    Commented Dec 2, 2014 at 13:54
  • 1
    $\begingroup$ @Artes yes, it seems that the alphabetic order is the problem. The symbol inside the parenthesis has to come first considering the alphabet order. It's obvious with these examples : FullSimplify[(1 - abx^2)/aby^2, abx^2 + aby^2 == 1] and FullSimplify[(1 - aby^2)/abx^2, abx^2 + aby^2 == 1]. The first example gives 1 because abx is "before" aby (if you sort them alphabetically) ... $\endgroup$
    – SquareOne
    Commented Dec 2, 2014 at 14:10
  • $\begingroup$ Why doesn't Wolfram relabel the symbols, simplify, and restore the original names...? $\endgroup$
    – tclamb
    Commented Dec 2, 2014 at 15:59
  • 3
    $\begingroup$ I have the impression that this happens because trying out all possible replacements would involve going through large numbers of permutations which would generally lead to a combinatoric explosion. So, some choices have to be made, and not all possible replacements are actually tried. $\endgroup$ Commented Dec 2, 2014 at 16:42
  • $\begingroup$ Maybe an option should be available for us. $\endgroup$ Commented Dec 2, 2014 at 16:43

0

Browse other questions tagged or ask your own question.