Fixed some tests
This commit is contained in:
parent
fe4c207b13
commit
0f861a810b
@ -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
|
||||
%
|
||||
|
Reference in New Issue
Block a user