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

Improved term_to_list's docblock

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

6
polymani.pl
View File

@ -339,10 +339,8 @@ power_to_canon(T, T^1) :-
%% term_to_list(?T, ?List) is semidet
%
% Converts a term to a list and vice versa.
% A term is multiplication of a number or a power
% and another term.
% Can verify if term and list are compatible.
% Converts a term to a list of its monomials and vice versa.
% Can verify if term and monomials list are compatible.
%
term_to_list(L * N, [N | TS]) :-
number(N),