From jrheinlaender at gmx.de  Fri Mar  9 11:43:53 2012
From: jrheinlaender at gmx.de (Jan)
Date: Fri, 09 Mar 2012 15:13:53 +0430
Subject: [GiNaC-devel] Relationals
Message-ID: <1331289833.19021.6.camel@jan-laptop>

Hello,

is it possible to query a relational whether it has an undecidable
value, e.g. assuming a is a symbol:

if (a > 3) ...

currently always gives false, but I would like to be able to find out
whether the comparison actually makes sense.

Thanks,
	Jan