Smarter relational to Boolean conversion.
authorVladimir V. Kisil <V.Kisilv@leeds.ac.uk>
Sun, 6 Jun 2021 12:00:50 +0000 (14:00 +0200)
committerRichard Kreckel <kreckel@ginac.de>
Sun, 6 Jun 2021 12:00:50 +0000 (14:00 +0200)
commit7e268ccc7dc68f4e1ca3452f95951b9e8a76f03e
tree489ef955de8b799e49e04bf95cc575c49b2d3a1e
parent3956eb4456d23f7ba937d9b2b726c1b6eac64530
Smarter relational to Boolean conversion.

If a relational contains symbolic entries we look to ex::info
to decide whether it can be converted to true value.
ginac/relational.cpp