Progress on if-then-else

• Subject: Progress on if-then-else
• From: Robert Dodier
• Date: Wed, 6 Mar 2013 01:03:03 +0000 (UTC)

On 2013-03-06, Henry Baker <hbaker1 at pipeline.com> wrote:

> I've got the Lisp code for ordered unions of disjoint intervals working pretty reliably.
>
> The inference capability is reasonable:
>
> Given (if zerop(x-3) then 9 else 10) = 9, the system can deduce that x=3.
>
> Also, (if plusp(x) then x*x else x*x) >=0 is always true (for real x).
>
> Similarly, (if plusp(x) then x else -x) >=0 is always true (for real x).

That sounds interesting. Only suggestion I have at this point is to use
the usual comparisons (equal, ">", etc) instead of anything else.

FWIW

Robert Dodier

• Prev by Date: Progress on if-then-else
• Next by Date: Diff and Taylor to return expressions in terms of partial derivatives?
• Previous by thread: Progress on if-then-else
• Next by thread: Progress on if-then-else
• Index(es):
  • Date
  • Thread