[GiNaC-list] comparing ex

[Christian Bauer]

Hi!

On Thu, Aug 18, 2005 at 03:01:07PM +0200, Vera Louise Hauge wrote:
> a = a0 + x*a1;
> b = a0 + a1*x;
> 
> If the ex objects are evaluated (symbolically), such that
> a-b becomes 0, then the test would be finished.
> 
> However, how do I evaluate such a expression as a-b symbolically?

ex c = a - b;

> Or are there other ways of comparing two such ex objects?

if (a == b) { ... }

Bye,
Christian

-- 
  / Physics is an algorithm
\/ http://www.uni-mainz.de/~bauec002/