coulditbe is indeed somewhat too weak/buggy.
coulditbe is indeed somewhat too weak/buggy.

For example:

coulditbe(-(1/50)*x25^2+(1/50)*x3^2 <= 0) assuming 0 < -(1/50)*x25^2+(1/50)*x3^2

returns `true' (but it is really `false').

zachsully/hakaru,zachsully/hakaru