Introduce status_flags::{is_positive,is_negative,purely_indefinite}
authorAlexei Sheplyakov <Alexei.Sheplyakov@gmail.com>
Sat, 3 Aug 2013 14:01:42 +0000 (17:01 +0300)
committerAlexei Sheplyakov <Alexei.Sheplyakov@gmail.com>
Wed, 16 Oct 2013 05:20:29 +0000 (08:20 +0300)
commit50ed15a65e858858999be45301b3f49821cb1e71
treecca5570a912f070d2c826ca501c329061925e472
parent52c44ffaee28a70b6df3280c3354ee4241473b14
Introduce status_flags::{is_positive,is_negative,purely_indefinite}

Quite a number of transformations can be applied if the expression
is known to be positive (negative) (for instance, sqrt(x^2*y^2) = x*y
if x >= 0 and y >= 0). However the check itself might be quite expensive.
Hence a few status_flags are introduced to cache the result.
ginac/flags.h