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

Fix typo in predicate type

Browse Source
This commit is contained in:
Diogo Cordeiro 2018-11-25 22:31:46 +00:00 committed by GitHub
parent 73025dfc11
commit 387ce1a3d0
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

@ -583,7 +583,7 @@ simplify_polynomial_as_list(L, L13) :-
%% ?- simplify_polynomial_as_list([0*x, 0], L).
%@ L = [0] .
%% join_similar_terms(+P:ListList, -P2:ListList) is det
%% join_similar_terms(+P:List, -P2:List) is det
%
% Joins similar sublists representing terms by using
% `add_terms` to check if they can be merged and perform