Message Boards Message Boards

0
|
10836 Views
|
2 Replies
|
3 Total Likes
View groups...
Share
Share this post:
GROUPS:

Wolfram|Alpha shouldn't assume $x\neq 0$. It shouldn't claim $0/x=0$.

Posted 9 years ago

When you input 0/x on W|A, it claims, with no restrictions on $x$, that $0/x=0$. While of course it claims $0/0$ is indeterminate.

I'd like it to be more rigorous in this regard. It is typical for W|A to assume an unspecified letter $x$ is a complex variable. In this case, as always, it should assume $x$ is any complex variable, but it assumes $x\neq 0$, without pointing out the assumption. I'm honestly bothered by this.

POSTED BY: Ethan Wilson
2 Replies

The Generic and Non-Generic Cases tutorial in the Wolfram Language documentation center explains the motivation for this behavior.

POSTED BY: Ilian Gachevski
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

Be respectful. Review our Community Guidelines to understand your role and responsibilities. Community Terms of Use