Message Boards Message Boards

1
|
3858 Views
|
2 Replies
|
3 Total Likes
View groups...
Share
Share this post:

WA says '7x/x = 7' only if x ? 0, but has no problem with 'ax/x = a'. Why?

Posted 6 years ago

In WA, entering 'ax/x = a' will return 'True.'

If 'a' is replaced with a constant, it changes its rule. '7x/x = 7' will say that it's true as long as x ? 0.

Why is it that 'ax/x = a' is true until 'a' is replaced with a constant?

POSTED BY: C R
2 Replies

Mathematica was originally designed so that expressions such as a x/x are simplified to just a before any other mechanism or check could intervene. This is probably efficient for calculations, but it exposes the system to criticism. I suppose that Wolfram Alpha has new code that catches the problem, but only when the coefficient is numerical.

POSTED BY: Gianluca Gorni

Interestingly, in Mathematica (version 11.3) itself:

      (7 x)/x == 7
(* True *)
     (a x)/x == a
(* True *)

     Reduce[(7 x)/x == 7, x]
(* True *)
     Reduce[(a x)/x == a, x]
(* True *)

(Simplify applied to each equation also yields True as output.)

POSTED BY: Murray Eisenberg
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract