9 Mar
2012
9 Mar
'12
11:43 a.m.
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