unevaluated boolean and conditional expressions (take 1)
Subject: unevaluated boolean and conditional expressions (take 1)
From: Robert Dodier
Date: Sun, 29 Jan 2006 12:35:03 -0700
On 1/28/06, Richard Fateman <fateman at cs.berkeley.edu> wrote:
> (OK, I don't see any damage compared to current situation :)
Terrific, glad to hear it.
> There is a literature on "cylindrical algebraic decomposition"
> for solving such questions.
Well, I haven't attempted any assume-like functionality
in the current revision, although increasing the power
of assume would be very useful. I might come back to
this topic at some point.
best,
Robert Dodier