diogo/polynomialmani.pl
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix typo

Browse Source
This commit is contained in:
Diogo Cordeiro 2018-11-25 21:22:21 +00:00 committed by GitHub
parent d2a59155f3
commit aba2db8bde
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
polymani.pl
View File

@ -181,7 +181,7 @@ polynomial_variable(X) :-
% Returns true if X is a power term, false otherwise. % Returns true if X is a power term, false otherwise.
% %
power(P^N) :- power(P^N) :-
%% CLPFD comparassion. Reversible %% CLPFD comparison. Reversible
N #>= 1, N #>= 1,
polynomial_variable(P). polynomial_variable(P).
power(X) :- power(X) :-