diff --git a/polymani.pl b/polymani.pl index b8311c9..42c4699 100644 --- a/polymani.pl +++ b/polymani.pl @@ -89,7 +89,7 @@ addpoly(P1, P2, S) :- !. %% Tests: %% ?- addpoly(3 + x, 3 - x, S). -%@ S = 0*x+6. TODO HERE +%@ S = 6. %% is_polynomial_valid_in_predicate(+T, +F) is det %