]> www.ginac.de Git - ginac.git/commit
git://www.ginac.de / ginac.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3956eb4) | patch
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
tree489ef955de8b799e49e04bf95cc575c49b2d3a1etree | snapshot
parent3956eb4456d23f7ba937d9b2b726c1b6eac64530commit | diff
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 diff | blob | history
GiNaC -- a C++ library for symbolic computations