diff --git a/polymani.pl b/polymani.pl index 17ca28c..dfb7102 100644 --- a/polymani.pl +++ b/polymani.pl @@ -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),