Subject: Implicit: Taylor, Poiseux and Newton's diagram
From: Robert Dodier
Date: Fri, 1 Jun 2012 01:28:37 +0000 (UTC)
On 2012-06-01, Barton Willis <willisb at unk.edu> wrote:
> (b) consider changing tests for equality from "=" to equal.
Specifically, a = b is true iff a and b are identical, while equal(a, b)
is pretty much the same as ratsimp(a - b) = 0.
Tests such as if length(L) = 0 then ... have the expected effect. Tests
like if a = b then ... where a and b are general expressions probably
should be changed to equal(a, b) unless you are specifically looking for
identical expressions.
> In an if clause, I think equal(a,b) is OK---maybe it needs to be
> is(equal(a,b)) = true....maybe somebody else can comment on that.
No need for is(...) or is(...) = true in an "if" expression.
best,
Robert Dodier