Skip to content

Commit

Permalink
coulditbe is indeed somewhat too weak/buggy.
Browse files Browse the repository at this point in the history
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').
  • Loading branch information
yuriy committed Jul 2, 2017
1 parent 9f0a388 commit 5d6897a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion maple/KB.mpl
Original file line number Diff line number Diff line change
Expand Up @@ -496,7 +496,7 @@ KB := module ()

rel_coulditbe := proc(a,as,$)
try
coulditbe(a) assuming op(as);
not(is(bool_Not(a)) assuming op(as));
catch "when calling '%1'. Received: 'contradictory assumptions'" :
# technically this means the KB was already contradictory, we
# just didn't know?
Expand Down

0 comments on commit 5d6897a

Please sign in to comment.